-
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
Reinforcement learning algorithms solve sequential decision-making probl...
09/23/2020 ∙ by Koundinya Vajjha, et al. ∙
0
∙
share
read it
-
Verification of ML Systems via Reparameterization
As machine learning is increasingly used in essential systems, it is imp...
07/14/2020 ∙ by Jean-Baptiste Tristan, et al. ∙
0
∙
share
read it
-
A Formal Proof of PAC Learnability for Decision Stumps
We present a machine-checked, formal proof of PAC learnability of the co...
11/01/2019 ∙ by Joseph Tassarotti, et al. ∙
0
∙
share
read it
