Ashvni Narayanan

According to our database, Ashvni Narayanan authored at least 6 papers between 2021 and 2025.

Collaborative distances:

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

2025

Transformers know more than they can tell - Learning the Collatz sequence.

François Charton, Ashvni Narayanan

CoRR, November, 2025

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, February, 2025

2023

Formalization of p-adic L-functions in Lean 3.

Ashvni Narayanan

CoRR, 2023

2022

Towards a Mathematics Formalisation Assistant using Large Language Models.

Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri

CoRR, 2022

2021

A formalization of Dedekind domains and class groups of global fields.

Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio

CoRR, 2021

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

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021