Get started
Author

Anand Rao Tadipatri

Observed names: Anand Tadipatri, Rao Tadipatri, Anand, Tadipatri, Anand, Tadipatri, Anand Rao
ORCID: 0009-0007-0057-4169
Observed ORCID: 0009-0007-0057-4169
OpenAlex ID: A5007201727
Towards a Mathematics Formalisation Assistant using Large Language Models
2022 · Agrawal, Ayush, Gadgil, Siddhartha, et al. · arXiv (Cornell University) · 2
PDF
Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture
2024 · Siddhartha Gadgil, Anand Rao Tadipatri · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 1
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
2025 · Srinivas, Shreyas, Tao, Terence, et al. · CISPA Helmholtz Center
Review of: "SAT is as hard as solving Homogeneous Diophantine Equation of Degree Two"
2023 · Anand Rao Tadipatri
PDF
Euclidean Geometry by High-performance Solvers?
2022 · Siddhartha Gadgil, Anand Tadipatri · Resonance
Works count: 6
Citation count: 3
H-index: 1
I10-index:
Year
Topic
Type