MathAtlas: A Benchmark for Autoformalization in the Wild
DGX agentarXiv:2605.14061v1 Announce Type: new Abstract: Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, while graduate and research-level mathematics remains