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

Type

Conference paper

Publication

ACL 2026 Findings

NLP selected

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.