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 student at Penn State University (2023-). His research interests lie in natural language processing (NLP) and large language models (LLMs), with a particular focus on building trustworthy NLP systems.