Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2202.05959
Cited By
Formalization of a Stochastic Approximation Theorem
12 February 2022
Koundinya Vajjha
B. Trager
Avraham Shinnar
V. Pestun
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Formalization of a Stochastic Approximation Theorem"
2 / 2 papers shown
Title
Lean Formalization of Generalization Error Bound by Rademacher Complexity
Sho Sonoda
Kazumi Kasaura
Yuma Mizuno
Kei Tsukamoto
Naoto Onda
38
0
0
25 Mar 2025
A quantitative Robbins-Siegmund theorem
Morenikeji Neri
Thomas Powell
21
2
0
21 Oct 2024
1
