Search Results for author:
Found 1 papers, 0 papers with code
Towards a Mathematics Formalisation Assistant using Large Language Models
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.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
