AI RESEARCH
MathAtlas: A Benchmark for Autoformalization in the Wild
arXiv CS.LG
•
ArXi:2605.14061v1 Announce Type: cross Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains underexplored. In this paper, we