@inproceedings{dias-alexiou-etal-2026-replacing,
    title = "Replacing the Human in the Loop: Towards Automated Evaluation of {LLM} Mathematical Proof Generalization",
    author = "Dias-Alexiou, Carolina  and
      Marrese-Taylor, Edison  and
      Solano, Alfredo  and
      Matsuo, Yutaka",
    editor = "Zhang, Yue  and
      Xu, Ruifeng  and
      Purwarianti, Ayu  and
      Rong, Tong  and
      Suzuki, Jun",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {IJCNLP}-{AACL} 2026",
    month = nov,
    year = "2026",
    address = "Hengqin, China",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-aacl.50/",
    pages = "996--1004",
    ISBN = "979-8-89176-444-6"
}