CONF Zhang_EMNLP_2024/IDIAP Consistent Autoformalization for Constructing Mathematical Libraries Zhang, Lan Quan, Xin Freitas, Andre The 2024 Conference on Empirical Methods in Natural Language Processing 2024