STP_model_Lean_0320
kfdong/STP_model_Lean_0320
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 1,125
- Total downloadsCumulative all-time download counter reported by the source platform.
- 70.3K
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- —
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 1
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #6794 among tracked Text Generation models.
- #24,317
- –this week
- Parameters
- 6.9B
- Last source update
- Mar 24, 2025
Downloads over time
Daily gain between consecutive observationsNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Likes over time
Not enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Overview
STP_model_Lean_0320 is a text generation model published by kfdong. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 4h ago.
- Published
- Mar 20, 2025
- Last updated
- Mar 24, 2025
- Library
- transformers
- License
- mit
- Task
- Text Generation
- Parameters
- 6,890,737,664
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsllamatext-generationconversationaldataset:kfdong/STP_Lean_0320dataset:internlm/Lean-Workbookarxiv:2502.00212base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFTbase_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFTlicense:mittext-generation-inference
Publisher
kfdongView publisher statistics →Derived from deepseek-ai/DeepSeek-Prover-V1.5-SFT (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Olmo-7b-speCodemaster67 | 1,330 |
| OLMo-7B-hfallenai | 12.4K |
| OLMo-7Ballenai | 3,781 |
| OLMo-7B-0724-hfallenai | 1,515 |
| OLMo-7B-Instructallenai | 1,373 |
| OLMo-2-1124-7B-RM-Previewallenai | 143 |