Lean4AgenticRL Framework Uses Multi-Level Process Rewards

Lean4AgenticRL introduces a framework for agentic reinforcement learning that utilizes verifiable multi-level process rewards grounded in the Lean4 formalization schema. This approach moves beyond high-level outcome rewards to include low-level toolcalls and mid-level workflow-stage rewards for improved software engineering and terminal-usage tasks.