Process-Verified Reinforcement Learning for Theorem Proving via Lean - Kim, Minsu; Yun, Se-Young (International Conference on Learning Representations, 2026)