Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Koundinya Vajjha

CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq


Sep 23, 2020
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry Trager, Nathan Fulton


  Access Paper or Ask Questions

Verification of ML Systems via Reparameterization


Jul 14, 2020
Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee


  Access Paper or Ask Questions

A Formal Proof of PAC Learnability for Decision Stumps


Nov 29, 2019
Joseph Tassarotti, Jean-Baptiste Tristan, Koundinya Vajjha

* 16 pages 

  Access Paper or Ask Questions