Ashvni Narayanan

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Word Error Rate

Language Modelling

Continuous Domains

Ad Hoc Information Retrieval

Top Venues

J. Autom. Reason.

Publications

Ashvni Narayanan
Formalization of p-adic L-functions in Lean 3. CoRR (2023)
Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri
Towards a Mathematics Formalisation Assistant using Large Language Models. CoRR (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. J. Autom. Reason. 66 (4) (2022)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio
A formalization of Dedekind domains and class groups of global fields. CoRR (2021)
Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
A Formalization of Dedekind Domains and Class Groups of Global Fields. ITP (2021)