%Aigaion2 BibTeX export from Idiap Publications
%Thursday 04 December 2025 09:04:50 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}
}