TY  - RPRT
TI  - Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving
AU  - Kuo Zhou
AU  - Lu Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2505.20869
ID  - 2505.20869
ER  -