Publications

Formalization of a Stochastic Approximation Theorem

• • Koundinya Vajjha
  • Barry Trager
  • et al.
• 2022
• ITP 2022