| A formalization of Dedekind domains and class groups of global fields A Baanen, SR Dahmen, A Narayanan, FAE Nuccio arXiv preprint arXiv:2102.02600, 2021 | 14 | 2021 |
| A formalization of Dedekind domains and class groups of global fields A Baanen, SR Dahmen, A Narayanan, ... Journal of Automated Reasoning 66 (4), 611-637, 2022 | 8 | 2022 |
| Towards a Mathematics Formalisation Assistant using Large Language Models A Agrawal, S Gadgil, N Goyal, A Narayanan, A Tadipatri arXiv preprint arXiv:2211.07524, 2022 | 4 | 2022 |
| Towards automating formalisation of theorem statements using large language models S Gadgil, AR Tadipatri, A Agrawal, A Narayanan, N Goyal 36th Conference on Neural Information Processing Systems (NeurIPS 2022 …, 2022 | 3 | 2022 |
| Formalization of -adic -functions in Lean 3 A Narayanan arXiv preprint arXiv:2302.14491, 2023 | 1 | 2023 |
| Filippo AE Nuccio Mortarino Majno di Capriglio.“ A Baanen, SR Dahmen, A Narayanan A Formalization of Dedekind Domains and Class Groups of Global Fields.” In …, 2021 | | 2021 |
| 12th International Conference on Interactive Theorem Proving (ITP 2021) MO Myreen, N Polikarpova, A Popescu, T Bauereiss, P Lammich, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2021 | | 2021 |
