%Aigaion2 BibTeX export from Idiap Publications
%Thursday 07 May 2026 03:22:30 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}
}