Anand Tadipatri

According to our database, Anand Tadipatri authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.

Matthew Bolan, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, Andrés Goens, Aaron Hill, Harald Husum, Hernán Ibarra Mejia, Zoltan A. Kocsis, Bruno Le Floch, Amir Livne Bar-on, Lorenzo Luccioli, Douglas McNeil, Alex Meiburg, Pietro Monticone, Pace P. Nielsen, Emmanuel Osalotioman Osazuwa, Giovanni Paolini, Marco Petracci, Bernhard Reinke, David Renshaw, Marcus Rossel, Cody Roux, Jérémy Scanvic, Shreyas Srinivas, Anand Rao Tadipatri, Terence Tao, Vlad Tsyrklevich, Fernando Vaquerizo-Villar, Daniel Weber, Fan Zheng

CoRR, December, 2025

Automatically Generalizing Proofs and Statements.

Anshula Gandhi, Anand Rao Tadipatri, Timothy Gowers

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture.

Siddhartha Gadgil, Anand Rao Tadipatri

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

Towards a Mathematics Formalisation Assistant using Large Language Models.

Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri

CoRR, 2022