Formalization of a stochastic approximation theorem

DOI10.4230/LIPICS.ITP.2022.31MaRDI QIDQ6572573zbMATH OpenFDO

Authors Koundinya Vajjha, Barry Trager, Avraham Shinnar, Vasily Pestun

Publication date 15 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2022.31

zbMATH Keywords

formal verificationoptimization algorithmsprobability theorystochastic approximationstochastic processes

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(2)

• Robust Mean estimation by all means (short paper)
• Formalizing concentration inequalities in Rocq: infrastructure and automation

This page was built for publication: Formalization of a stochastic approximation theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572573)