Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.06776
Cited By
Verification of ML Systems via Reparameterization
14 July 2020
Jean-Baptiste Tristan
Joseph Tassarotti
Koundinya Vajjha
Michael L. Wick
A. Banerjee
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verification of ML Systems via Reparameterization"
1 / 1 papers shown
Title
Formalization of a Stochastic Approximation Theorem
Koundinya Vajjha
B. Trager
Avraham Shinnar
V. Pestun
15
6
0
12 Feb 2022
1
