Narayanan, Ashvni

1. Transformers know more than they can tell -- Learning the Collatz sequence
   2025/11/13 by François Charton, Charton, François, Ashvni Narayanan +1 · 6 voices
   Computer Science · Mathematics · Social Sciences · #Benford’s Law and Fraud Detection #Computational Physics and Python Applications #Misinformation and Its Impacts #cs.LG
2. Towards a Mathematics Formalisation Assistant using Large Language Models
   2022/11/14 by Ayush Agrawal, Agrawal, Ayush, Siddhartha Gadgil +7 · 3 citations
   Computer Science · #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Semantic Web and Ontologies
3. A formalization of Dedekind domains and class groups of global fields
   2021/02/04 by Baanen, Anne, Dahmen, Sander R., Narayanan, Ashvni +1 · 2 citations
   #11R29 #68V15 #68V20 #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Number Theory (math.NT)
4. Learning Euler Factors of Elliptic Curves
   2025/02/14 by Babei, Angelica, Charton, François, Costa, Edgar +5 · 4 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Number Theory (math.NT)