We stand with Ukraine  

Koundinya Vajjha

Orcid: 0000-0003-3799-6326

According to our database1, Koundinya Vajjha authored at least 5 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Formalization of a Stochastic Approximation Theorem.
[BibTeX]
[DOI]
Koundinya Vajjha
,
Barry M. Trager
,
Avraham Shinnar
,
Vasily Pestun
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021
CertRL: formalizing convergence proofs for value and policy iteration in Coq.
[BibTeX]
[DOI]
Koundinya Vajjha
,
Avraham Shinnar
,
Barry M. Trager
,
Vasily Pestun
,
Nathan Fulton
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

A formal proof of PAC learnability for decision stumps.
[BibTeX]
[DOI]
Joseph Tassarotti
,
Koundinya Vajjha
,
Anindya Banerjee
,
Jean-Baptiste Tristan
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020
Verification of ML Systems via Reparameterization.
[BibTeX]
[DOI]
Jean-Baptiste Tristan
,
Joseph Tassarotti
,
Koundinya Vajjha
,
Michael L. Wick
,
Anindya Banerjee
CoRR, 2020

2019
A Formal Proof of PAC Learnability for Decision Stumps.
[BibTeX]
[DOI]
Joseph Tassarotti
,
Jean-Baptiste Tristan
,
Koundinya Vajjha
CoRR, 2019


  Loading...