%Aigaion2 BibTeX export from Idiap Publications
%Saturday 20 December 2025 01:11:53 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}
}