-
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
read it
-
Verification of ML Systems via Reparameterization
As machine learning is increasingly used in essential systems, it is imp...
read it
-
A Formal Proof of PAC Learnability for Decision Stumps
We present a machine-checked, formal proof of PAC learnability of the co...
read it

Koundinya Vajjha
is this you? claim profile