@misc{indiciaee52fa902eb97,
  title = {Forward-Backward Reasoning in Large Language Models for Mathematical Verification},
  author = {Weisen Jiang and Han Shi and Longhui Yu and Zhengying Liu and Yu Zhang and Zhenguo Li and James T. Kwok},
  year = {2024},
  url = {https://arxiv.org/abs/2308.07758},
  note = {Source identifier: 2308.07758}
}