Lean4AgenticRL: Advancing Agentic RL with Verifiable Multi-level Process Rewards

By Ruida Wang, Gerald Friedland, Tong Zhang, Chris Kong

· HF Daily Papers · Oct 15, 2026