Cita APA (7a ed.)

Patel, N., Arias, N., Babayan, D., Cochran, V., Libman, T., Mahmood, H., . . . Flanigan, J. (2026). MathAtlas: A Benchmark for Autoformalization in the Wild.

Cita Chicago Style (17a ed.)

Patel, Nilay, et al. MathAtlas: A Benchmark for Autoformalization in the Wild. 2026.

Cita MLA (9a ed.)

Patel, Nilay, et al. MathAtlas: A Benchmark for Autoformalization in the Wild. 2026.