TY - RPRT TI - Forward-Backward Reasoning in Large Language Models for Mathematical Verification AU - Weisen Jiang AU - Han Shi AU - Longhui Yu AU - Zhengying Liu AU - Yu Zhang AU - Zhenguo Li AU - James T. Kwok PY - 2024 UR - https://arxiv.org/abs/2308.07758 ID - 2308.07758 ER -