MathAtlas: A Benchmark for Autoformalization in the Wild. - Nilay Patel; Noah Arias; Davit Babayan; Victoria Cochran; Timothy Libman; Hafsah Mahmood; Liam McCarty; Soli Munoz; Laurel Willey; Jeffrey Flanigan (CoRR, 2026)