%Aigaion2 BibTeX export from Idiap Publications
%Friday 18 April 2025 06:13:15 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}
}