Koundinya Vajjha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2022
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ITP | Formalization of a Stochastic Approximation Theorem. | Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun |
| 2021 | CPP | A formal proof of PAC learnability for decision stumps. | Joseph Tassarotti, Koundinya Vajjha, Anindya Banerjee, Jean-Baptiste Tristan |
| 2021 | CPP | CertRL: formalizing convergence proofs for value and policy iteration in Coq. | Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton |