Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
Lan Zhang, Marco Valentino, Andre Freitas
Published in Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025
Best Resource Paper Award
Paper Repository Dataset
