conf.researchr.org / Koundinya Vajjha
Koundinya Vajjha

Registered user since Wed 25 Nov 2020

Name:Koundinya Vajjha
Affiliation:University of Pittsburgh
Personal website:https://kodyvajjha.github.io/
GitHub:https://github.com/kodyvajjha
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