Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2202.05959
Cited By
v1
v2 (latest)
Formalization of a Stochastic Approximation Theorem
12 February 2022
Koundinya Vajjha
B. Trager
Avraham Shinnar
V. Pestun
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formalization of a Stochastic Approximation Theorem"
2 / 2 papers shown
Title
Verification of ML Systems via Reparameterization
Jean-Baptiste Tristan
Joseph Tassarotti
Koundinya Vajjha
Michael L. Wick
A. Banerjee
AAML
27
6
0
14 Jul 2020
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Daniel Selsam
Percy Liang
D. Dill
37
55
0
26 Jun 2017
1
