Stepfun Prover
A multi-turn RL environment for formal theorem proving in Lean 4, where models alternate between reasoning, sketching proof code, and receiving verifier feedback.
- Domain
- rl-env
- License
- unknown
- Published
- Sep 2025
Cite
Notes
Only stored in your browser.
Top models
1
Related tools
1Implementations, trainers, datasets and scaffolds linked to this eval.
FAQ
- What is Stepfun Prover?
- A multi-turn RL environment for formal theorem proving in Lean 4, where models alternate between reasoning, sketching proof code, and receiving verifier feedback.
- How can a model improve its Stepfun Prover score?
- Tools linked to Stepfun Prover on Sophon include Stepfun Prover RL Env (Prime Intellect) - RL environments, datasets, and scaffolds that target this eval.
- What license is Stepfun Prover under?
- Stepfun Prover is available under unknown.