TY  - RPRT
TI  - MathAtlas: A Benchmark for Autoformalization in the Wild
AU  - Nilay Patel
AU  - Noah Arias
AU  - Davit Babayan
AU  - Victoria Cochran
AU  - Timothy Libman
AU  - Hafsah Mahmood
AU  - Liam McCarty
AU  - Soli Munoz
AU  - Laurel Willey
AU  - Jeffrey Flanigan
PY  - 2026
UR  - https://arxiv.org/abs/2605.14061
ID  - 2605.14061
ER  -