@inproceedings{taylor-etal-2026-taoanalysisbench,
    title = "{T}ao{A}nalysis{B}ench: Do Automated Theorem Prover {LLM}s Generalize Beyond {M}ath{L}ib?",
    author = "Taylor, Alexander K  and
      Zhang, Junyi  and
      Ji, Ethan  and
      Sahai, Vigyan  and
      Deng, Haikang  and
      Chen, Yuanzhou  and
      Yuan, Yifan  and
      Wu, Di  and
      Gu, Jia-Chen  and
      Chang, Kai-Wei  and
      Peng, Nanyun  and
      Sahai, Amit  and
      Wang, Wei",
    editor = "Lee, Hung-Yi  and
      Dev, Sunipa  and
      Li, Jessy  and
      Elliott, Desmond",
    booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EMNLP} 2026",
    month = oct,
    year = "2026",
    address = "Budapest, Hungary",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2026.findings-emnlp.2137/",
    pages = "45588--45606",
    ISBN = "979-8-89176-462-0"
}