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, supported by 2026 Google PhD Fellowship. His research focuses on self-evolving LLM agents and LLM-based verification of LLM responses and intermediate steps.