CONF Zhang_EMNLP2025_2025/IDIAP Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions Zhang, Lan Valentino, Marco Freitas, Andre The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award) 2025