StepFun-Prover-Preview-32B is a 32 billion parameter theorem proving model developed by the StepFun Team. This model is specifically designed to iteratively refine proof sketches by interacting with Lean4. It achieves a 70.0% accuracy with Pass@1 on the MiniF2F-test benchmark, making it highly effective for formal theorem proving tasks. Its primary strength lies in its ability to generate and validate mathematical proofs.
No reviews yet. Be the first to review!
Hugging Face