Search Results for author: Ashvni Narayanan

Found 2 papers, 1 papers with code

Towards a Mathematics Formalisation Assistant using Large Language Models

no code implementations • 14 Nov 2022 • Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri

Mathematics formalisation is the task of writing mathematics (i. e., definitions, theorem statements, proofs) in natural language, as found in books and papers, into a formal language that can then be checked for correctness by a program.

Language Modelling Large Language Model

Paper
Add Code

A formalization of Dedekind domains and class groups of global fields

2 code implementations • 4 Feb 2021 • Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio

Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory.

Logic in Computer Science Number Theory 68V20, 68V15, 11R29

Paper
Code

Cannot find the paper you are looking for? You can Submit a new open access paper.