Skip to content
Sagan

Paper

MathAtlas: A Benchmark for Autoformalization in the Wild

Unreadunread

AI summary

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.