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