hugpadhugpad

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

Text Generation33B88111Updated Aug 13, 2025
Hugging Face

Downloads

881

Likes

11

Last updated

Aug 13, 2025

License

apache-2.0

StepFun-Prover-Preview-32B is a theorem proving model developed by StepFun Team. It can iteratively refine the proof sketch via interacting with Lean4, and achieve 70.0% accuracy with Pass@1 on MiniF2F-test. Advanced usage examples can be seen in github.

Tasks & library

  • text generation
  • transformers

Tags

  • transformers
  • qwen2
  • text-generation
  • chat
  • conversational
  • en

Technical specifications

Parameters33B
Librarytransformers
Languagesen
Base modeldeepseek-ai/DeepSeek-R1-Distill-Qwen-32B
Licenseapache-2.0