hugpadhugpad

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

Text Generation7.6B8783Updated Aug 13, 2025
Hugging Face

Downloads

878

Likes

3

Last updated

Aug 13, 2025

License

apache-2.0

StepFun-Prover-Preview-7B is a theorem proving model developed by StepFun Team. It can iteratively refine the proof sketch via interacting with Lean4, and achieve 66.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

Parameters7.6B
Librarytransformers
Languagesen
Base modeldeepseek-ai/DeepSeek-R1-Distill-Qwen-7B
Licenseapache-2.0