Generalizable Process Reward Models via Formally Verified Training Data

Ryo Kamoi, Yusen Zhang, Nan Zhang, Sarkar Snigdha Sarathi Das, Rui Zhang
October, 2025
PDF Code
Type
Preprint
Publication
Preprint, 2025
Nan Zhang
Nan Zhang
Ph.D. Student

My research interests include LLMs compression, NLP, and machine learning.