stepfun-ai/StepFun-Prover-Preview-32B

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.