@inproceedings{zhang-etal-2025-masa,
    title = "{MASA}: {LLM}-Driven Multi-Agent Systems for Autoformalization",
    author = "Zhang, Lan  and
      Valentino, Marco  and
      Freitas, Andre",
    editor = {Habernal, Ivan  and
      Schulam, Peter  and
      Tiedemann, J{\"o}rg},
    booktitle = "Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing: System Demonstrations",
    month = nov,
    year = "2025",
    address = "Suzhou, China",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-emnlp/2025.emnlp-demos.44/",
    pages = "615--624",
    ISBN = "979-8-89176-334-0"
}