%Aigaion2 BibTeX export from Idiap Publications
%Friday 13 February 2026 10:33:16 PM

@INPROCEEDINGS{Zhang_EMNLP2025-2_2025,
                      author = {Zhang, Lan and Valentino, Marco and Freitas, Andre},
                    projects = {Idiap},
                       title = {MASA: A Modular Framework for LLM-Driven Multi-Agent Systems for Autoformalization},
                   booktitle = {Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing},
                        year = {2025}
}