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
July, 2026
PDF Cite Code Dataset Model Website
Type
Conference paper
Publication
ACL 2026 Findings
NLP selected
Ryo Kamoi
Ryo Kamoi

Ryo Kamoi is a PhD candidate at Penn State University. His research interests lie in large language models (LLMs), with a particular focus on the reasoning capabilities and self-improvement of LLMs.