1
MathAtlas: A Benchmark for Autoformalization in the Wild
首个大规模研究生级数学自动形式化基准，52k样本填补研究级数学空白。
arXiv:2605.14061v1 Announce Type: new Abstract: Current autoformalization benchmarks are largely focused on olympiad or undergraduate mathematics, whi…