CONF Zhang_EMNLP2025-2_2025/IDIAP MASA: A Modular Framework for LLM-Driven Multi-Agent Systems for Autoformalization Zhang, Lan Valentino, Marco Freitas, Andre Demonstration at the 2025 Conference on Empirical Methods in Natural Language Processing 2025