@article{pei-etal-2025-fover,
    title = "{F}o{V}er: First-Order Logic Verification for Natural Language Reasoning",
    author = "Pei, Yu  and
      Du, Yongping  and
      Jin, Xingnan",
    journal = "Transactions of the Association for Computational Linguistics",
    volume = "13",
    year = "2025",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://aclanthology.org/2025.tacl-1.61/",
    doi = "10.1162/tacl.a.41",
    pages = "1340--1359"
}