hugpadhugpad

stepfun-ai / StepFun-Formalizer-7B

Text Generation7.6B1.1K7Updated Oct 13, 2025
Hugging Face

Downloads

1.1K

Likes

7

Last updated

Oct 13, 2025

License

apache-2.0

We introduce StepFun-Formalizer, a family of large language models designed to translate natural-language mathematical problems into formal statements in Lean 4. Through the fusion of formal knowledge and informal-to-formal reasoning capability, StepFun-Formalizer achieves str…

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