Koundinya Vajjha

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Policy Iteration

Pac Learnability

Top Venues

Publications

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. ITP (2022)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. CoRR (2022)
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP (2021)
Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan
A formal proof of PAC learnability for decision stumps. CPP (2021)
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR (2020)
Jean-Baptiste Tristan, Joseph Tassarotti, Koundinya Vajjha, Michael L. Wick, Anindya Banerjee
Verification of ML Systems via Reparameterization. CoRR (2020)
Joseph Tassarotti, Jean-Baptiste Tristan, Koundinya Vajjha
A Formal Proof of PAC Learnability for Decision Stumps. CoRR (2019)