AN
Ashvni Narayanan
cs.LGmath.NTcs.AIcs.CLcs.LO
On Valency
published · living versionsW_kk6drhmm·v1 · currentpublished
Ramanujan Challenge Results: AI-Assisted Evaluation Pipeline for Multi-Format Proofs
with Alan Sorani, Michael Shalyt, Tali Monderer, Rotem Kalisch +6
1 version
Preprints & journals
4 papers in the corpus · 2021–2025Transformers know more than they can tell -- Learning the Collatz sequence2511.10811v1 · Francois Charton, Ashvni Narayanan2025 · 0 citationsarXiv
Learning Euler Factors of Elliptic Curves2502.10357v1 · Angelica Babei, Francois Charton, Edgar Costa et al.2025 · 0 citationsarXiv
Towards a Mathematics Formalisation Assistant using Large Language Models2211.07524v1 · Ayush Agrawal, Siddhartha Gadgil, Navin Goyal et al.2022 · 2 citationsarXiv
A formalization of Dedekind domains and class groups of global fields2102.02600v4 · Anne Baanen, Sander R. Dahmen, Ashvni Narayanan et al.2021 · 11 citationsarXiv
Career total: 4 works. 4 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.