Siddhartha Gadgil

According to our database, Siddhartha Gadgil authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

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

2020

Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs.

Siddhartha Gadgil

J. Autom. Reason., 2020

2019

Homogeneous length functions on Groups: Intertwined computer & human proofs.

Siddhartha Gadgil

CoRR, 2019