Homogeneous length functions on Groups: Intertwined computer & human proofs. - Siddhartha Gadgil (CoRR, 2019)

Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs. - Siddhartha Gadgil (J. Autom. Reason., 2020)

Towards a Mathematics Formalisation Assistant using Large Language Models. - Ayush Agrawal; Siddhartha Gadgil; Navin Goyal; Ashvni Narayanan; Anand Tadipatri (CoRR, 2022)

Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. - Siddhartha Gadgil; Anand Rao Tadipatri (CPP, 2024)