Efficient PRM Training Data Synthesis via Formal Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kamoi, Ryo, Zhang, Yusen, Zhang, Nan, Das, Sarkar Snigdha Sarathi, Zhang, Ranran Haoran, Yin, Wenpeng, Zhang, Rui
Format:	Preprint
Published:	2025
Subjects:	Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2505.15960