Forward-Backward Reasoning in Large Language Models for Mathematical Verification.

Weisen Jiang, Han Shi, Longhui Yu, Zhengying Liu, Yu Zhang, Zhenguo Li, James T. Kwok

Browse the full ACL paper archive.