TY  - RPRT
TI  - Efficient PRM Training Data Synthesis via Formal Verification
AU  - Ryo Kamoi
AU  - Yusen Zhang
AU  - Nan Zhang
AU  - Sarkar Snigdha Sarathi Das
AU  - Ranran Haoran Zhang
AU  - Wenpeng Yin
AU  - Rui Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2505.15960
ID  - 2505.15960
ER  -