Evaluating Step-by-Step Reasoning through Symbolic Verification YiFan Zhang author Hanlin Zhang author Li Li author Eric Xing author 2024-06 text Findings of the Association for Computational Linguistics: NAACL 2024 Kevin Duh editor Helena Gomez editor Steven Bethard editor Association for Computational Linguistics Mexico City, Mexico conference publication zhang-etal-2024-evaluating 10.18653/v1/2024.findings-naacl.188 https://aclanthology.org/2024.findings-naacl.188/ 2024-06 2984 3002