Anand Tadipatri

According to our database1, Anand Tadipatri authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Automatically Generalizing Proofs and Statements.
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022
Towards a Mathematics Formalisation Assistant using Large Language Models.
CoRR, 2022


  Loading...