FoVer: Efficient PRM Training Data Synthesis via Formal Verification (2025)

Ryo Kamoi

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