@misc{indiciae01f27d2b680e,
  title = {Efficient PRM Training Data Synthesis via Formal Verification},
  author = {Ryo Kamoi and Yusen Zhang and Nan Zhang and Sarkar Snigdha Sarathi Das and Ranran Haoran Zhang and Wenpeng Yin and Rui Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2505.15960},
  note = {Source identifier: 2505.15960}
}