Koundinya Vajjha

Registered user since Wed 25 Nov 2020

Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Research interests:Formal Verification, Reinforcement Learning, Discrete Geometry, Optimal Control

Contributions

CPP 2021 Author of A Formal Proof of PAC Learnability for Decision Stumps within the CPP 2021-track
Author of CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq within the CPP 2021-track