Consistent Autoformalization for Constructing Mathematical Libraries
Published in Empirical Methods in Natural Language Processing (EMNLP), 2024
Oral Presentation. A long paper studies autoformalization in a mathematical library setting.
Recommended citation: Lan Zhang, Xin Quan, and Andre Freitas. 2024. Consistent Autoformalization for Constructing Mathematical Libraries. In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pages 4020–4033, Miami, Florida, USA. Association for Computational Linguistics. https://aclanthology.org/2024.emnlp-main.233