Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions.

Lan Zhang, Marco Valentino, Andr Freitas

Browse the full EMNLP paper archive.