Efficient PRM Training Data Synthesis via Formal Verification.

Ryo Kamoi, Yusen Zhang, Nan Zhang, Sarkar Snigdha Sarathi Das, Ranran Haoran Zhang, Wenpeng Yin, Rui Zhang

Browse the full ACL paper archive.