2 papers
cs.AI2026
MathAtlas: A Benchmark for Autoformalization in the Wild
Nilay Patel, Noah Arias, Davit Babayan +7
Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains underexplored. In this pape…
cs.CL2024
A New Approach Towards Autoformalization
Nilay Patel, Rahul Saha, Jeffrey Flanigan
Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language math…