Kimina-Prover-Preview-Distill-7B
AI-MO/Kimina-Prover-Preview-Distill-7B
Tracked by OpenModelStats since September 30, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 151
- Total downloadsCumulative all-time download counter reported by the source platform.
- 54.9K
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- 0
- 0% vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 36
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #16500 among tracked Text Generation models.
- #53,426
- 503(down 503 places)this week
- Parameters
- 7.6B
- Last source update
- Apr 17, 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.
- 4.4
- It moved from #16327 to #16500 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
Kimina-Prover-Preview-Distill-7B is a text generation model published by AI-MO. OpenModelStats has tracked the model since Sep 30, 2026, most recently observing it Sep 7, 2026.
- Published
- Apr 10, 2025
- Last updated
- Apr 17, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 7,615,616,512
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 0
transformerssafetensorsqwen2text-generationchatconversationalenarxiv:2504.11354base_model:Qwen/Qwen2.5-Math-7B-Instructbase_model:finetune:Qwen/Qwen2.5-Math-7B-Instructlicense:apache-2.0text-generation-inference
Publisher
AI-MOView publisher statistics →Derived from Qwen/Qwen2.5-Math-7B-Instruct (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen2.5-7B-InstructQwen | 8.2M |
| Qwen2.5-7B-Instruct-AWQQwen | 2.7M |
| Qwen2.5-Coder-7B-InstructQwen | 2.3M |
| Qwen2.5-7BQwen | 810K |
| Qwen2.5-Coder-7B-Instruct-AWQQwen | 778.5K |
| Qwen2.5-Coder-7B-Instruct-AWQOrion-zhen | 766.3K |