Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification

Chengwu Liu | Ye Yuan | Yichun Yin | Yan Xu | Xin Xu | Zaoyu Chen | Yasheng Wang | Lifeng Shang | Qun Liu | Ming Zhang |