@inproceedings{zhang-etal-2024-evaluating,
    title = "Evaluating Step-by-Step Reasoning through Symbolic Verification",
    author = "Zhang, YiFan  and
      Zhang, Hanlin  and
      Li, Li  and
      Xing, Eric",
    editor = "Duh, Kevin  and
      Gomez, Helena  and
      Bethard, Steven",
    booktitle = "Findings of the Association for Computational Linguistics: NAACL 2024",
    month = jun,
    year = "2024",
    address = "Mexico City, Mexico",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2024.findings-naacl.188/",
    doi = "10.18653/v1/2024.findings-naacl.188",
    pages = "2984--3002"
}