@inproceedings{zhang-etal-2026-autoformalization,
    title = "Autoformalization {\&} Mathematical Reasoning",
    author = "Zhang, Lan  and
      Valentino, Marco  and
      Meadows, Jordan  and
      Freitas, Andr{\'e}",
    editor = "Marasovi{\'c}, Ana  and
      Glava{\v{s}}, Goran",
    booktitle = "Proceedings of the 2026 Conference on Empirical Methods in Natural Language Processing: Tutorial Abstracts",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.emnlp-tutorials.4/",
    pages = "6--7",
    ISBN = "979-8-89176-463-7"
}