AI for Math Mini Minisymposium at SIAM-NNP
Date
Nov 1, 2025
Location
2025 SIAM New York-New Jersey-Pennsylvania Section Conference
Talk about “Generalizable Process Reward Models via Formally Verified Training Data” at AI for Math Mini Minisymposium in 2025 SIAM New York-New Jersey-Pennsylvania Section Conference.
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.