convergence AI Agent Skills

rl-convergence-prover

1

chuongdlb

Proves or disproves convergence of RL algorithms using contraction mapping, Dvoretzky, Extended Dvoretzky, and Robbins-Monro theorems.