A formalization of Dedekind domains and class groups of global fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio (CoRR, 2021)

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

A Formalization of Dedekind Domains and Class Groups of Global Fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio Mortarino Majno di Capriglio (J. Autom. Reason., 2022)

Formalization of p-adic L-functions in Lean 3. - Ashvni Narayanan (CoRR, 2023)

Learning Euler Factors of Elliptic Curves. - Angelica Babei; François Charton; Edgar Costa; Xiaoyu Huang; Kyu-Hwan Lee; David Lowry-Duda; Ashvni Narayanan; Alexey Pozdnyakov (CoRR, 2025)