%Aigaion2 BibTeX export from Idiap Publications
%Wednesday 27 May 2026 09:53:52 PM

@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}
}