Patel, N., Arias, N., Babayan, D., Cochran, V., Libman, T., Mahmood, H., . . . Flanigan, J. (2026). MathAtlas: A Benchmark for Autoformalization in the Wild.
Style de citation Chicago (17e éd.)Patel, Nilay, et al. MathAtlas: A Benchmark for Autoformalization in the Wild. 2026.
Style de citation MLA (9e éd.)Patel, Nilay, et al. MathAtlas: A Benchmark for Autoformalization in the Wild. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.