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