%Aigaion2 BibTeX export from Idiap Publications
%Thursday 29 January 2026 04:53:26 AM

@INPROCEEDINGS{Zhang_EMNLP2025_2025,
                      author = {Zhang, Lan and Valentino, Marco and Freitas, Andre},
                    projects = {Idiap},
                       title = {Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions},
                   booktitle = {The 2025 Conference on Empirical Methods in Natural Language Processing (best resource paper award)},
                        year = {2025}
}