TY  - RPRT
TI  - Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
AU  - Chengwu Liu
AU  - Ye Yuan
AU  - Yichun Yin
AU  - Yan Xu
AU  - Xin Xu
AU  - Zaoyu Chen
AU  - Yasheng Wang
AU  - Lifeng Shang
AU  - Qun Liu
AU  - Ming Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2506.04592
ID  - 2506.04592
ER  -