FoVer: Efficient PRM Training Data Synthesis via Formal Verification (ACL 2026 Findings)

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.