@inproceedings{li-etal-2026-fiver,
    title = "{FIVER}: Adaptive Fusion of Formal and Informal Verification for Mathematical Reasoning in {LLM}s",
    author = "Li, Yujie  and
      Xu, Ao  and
      Guo, Ziyou  and
      Wu, Tieru",
    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.702/",
    doi = "10.18653/2026.findings-emnlp.702",
    pages = "14730--14750",
    ISBN = "979-8-89176-462-0"
}