research
∙
02/12/2022
Formalization of a Stochastic Approximation Theorem
Stochastic approximation algorithms are iterative procedures which are u...
share
research
∙
09/23/2020
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
research
∙
07/14/2020
Verification of ML Systems via Reparameterization
As machine learning is increasingly used in essential systems, it is imp...
research
∙
11/01/2019