cs.AI, cs.LG

MathAtlas: A Benchmark for Autoformalization in the Wild

arXiv:2605.14061v1 Announce Type: new
Abstract: Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains underexplored. In this paper, we introduce MathAtl…

Scroll to Top