Siddhartha Gadgil

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Computer Programs

Document Ranking

Top Venues

J. Autom. Reason.

Publications

Siddhartha Gadgil, Anand Rao Tadipatri
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. CPP (2024)
Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri
Towards a Mathematics Formalisation Assistant using Large Language Models. CoRR (2022)
Siddhartha Gadgil
Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs. J. Autom. Reason. 64 (4) (2020)
Siddhartha Gadgil
Homogeneous length functions on Groups: Intertwined computer & human proofs. CoRR (2019)