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)