@inproceedings{yu-etal-2026-formalmath,
    title = "{F}ormal{MATH}: Benchmarking Formal Mathematical Reasoning of Large Language Models",
    author = "Yu, Zhouliang  and
      Peng, Ruotian  and
      Ding, Keyi  and
      Li, Yizhe  and
      Peng, Zhongyuan  and
      Liu, Minghao  and
      Zhang, Yifan  and
      Yuan, Zheng  and
      Xin, Huajian  and
      Huang, Wenhao  and
      Wen, Yandong  and
      Zhang, Ge  and
      Liu, Weiyang",
    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.579/",
    pages = "12204--12241",
    ISBN = "979-8-89176-462-0"
}