TY  - RPRT
TI  - Formalization of a Stochastic Approximation Theorem
AU  - Koundinya Vajjha
AU  - Barry Trager
AU  - Avraham Shinnar
AU  - Vasily Pestun
PY  - 2022
DO  - 10.4230/lipics.itp.2022.31
UR  - https://arxiv.org/abs/2202.05959
ID  - 2202.05959
ER  -