%Aigaion2 BibTeX export from Idiap Publications
%Saturday 14 February 2026 12:47:40 AM

@INPROCEEDINGS{Zhang_EMNLP_2024,
                      author = {Zhang, Lan and Quan, Xin and Freitas, Andre},
                    projects = {Idiap},
                       title = {Consistent Autoformalization for Constructing Mathematical Libraries},
                   booktitle = {The 2024 Conference on Empirical Methods in Natural Language Processing},
                        year = {2024}
}