Stepfun Prover RL Env (Prime Community)
Fresh
A multi-turn RL environment for formal theorem proving in Lean 4, where models alternate between reasoning, sketching proof code, and receiving ver...
- Type
- RL Env
- Publisher
- Prime Community
- Capabilities
- Math
- Runtime
multi-turn- License
- unknown
- Size
- v0.1.3
- Published
- Mar 2026
Cite
Notes
Only stored in your browser.
Public scores on this env
11 vf-eval report across 1 model