%Aigaion2 BibTeX export from Idiap Publications
%Sunday 06 September 2026 06:09:14 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}
}