Forward-Backward Reasoning in Large Language Models for Mathematical Verification Weisen Jiang author Han Shi author Longhui Yu author Zhengying Liu author Yu Zhang author Zhenguo Li author James Kwok author 2024-08 text Findings of the Association for Computational Linguistics: ACL 2024 Lun-Wei Ku editor Andre Martins editor Vivek Srikumar editor Association for Computational Linguistics Bangkok, Thailand conference publication jiang-etal-2024-forward 10.18653/v1/2024.findings-acl.397 https://aclanthology.org/2024.findings-acl.397/ 2024-08 6647 6661