StepFun-Formalizer-7B
stepfun-ai/StepFun-Formalizer-7B
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 379
- Total downloadsCumulative all-time download counter reported by the source platform.
- 5,224
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +75(increase)
- 1.5%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 6
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #13525 among tracked Text Generation models.
- #45,576
- 276(down 276 places)this week
- Parameters
- 7.6B
- Last source update
- Oct 13, 2025
- MomentumOpenModelStats' composite rising-model signal (0–100): a percentile blend of absolute 7-day download gains, capped percentage growth, and likes gained. See Methodology.
- 34.0
- StepFun-Formalizer-7B gained 75 downloads during the last seven tracked days.
- It moved from #13384 to #13525 among tracked Text Generation models this week.
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterOverview
StepFun-Formalizer-7B is a text generation model published by stepfun-ai. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it Oct 4, 2026.
- Published
- Aug 19, 2025
- Last updated
- Oct 13, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 7,615,616,512
- Spaces
- 0
- Derivative models
- 1
- Velocity 7D/day
- 11
transformerssafetensorsqwen2text-generationchatconversationalendataset:stepfun-ai/StepFun-Formalizer-Trainingarxiv:2508.04440base_model:deepseek-ai/DeepSeek-R1-Distill-Qwen-7Bbase_model:finetune:deepseek-ai/DeepSeek-R1-Distill-Qwen-7Blicense:apache-2.0
Model family
Based on base-model relationships reported by the source's metadata.
Base model
Derivative models
Similar models
| Model | DL 30D |
|---|---|
| Qwen2.5-7B-InstructQwen | 8.3M |
| Qwen2.5-7B-Instruct-AWQQwen | 2.8M |
| Qwen2.5-Coder-7B-InstructQwen | 2.4M |
| Qwen2.5-Coder-7B-Instruct-AWQQwen | 863.1K |
| Qwen2.5-7BQwen | 799K |
| Qwen2.5-Coder-7B-Instruct-AWQOrion-zhen | 738.8K |