Kimina-Prover-Distill-8B
project-numina/Kimina-Prover-Distill-8B
Tracked by OpenModelStats since October 28, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 536
- Total downloadsCumulative all-time download counter reported by the source platform.
- 44.7K
- 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.
- 8
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #13550 among tracked Text Generation models.
- #47,045
- 325(up 325 places)this week
- Parameters
- 8.2B
- Last source update
- Jul 10, 2025
- It moved from #13636 to #13550 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-Distill-8B is a text generation model published by project-numina. OpenModelStats has tracked the model since Oct 28, 2026, most recently observing it 13h ago.
- Published
- Jul 4, 2025
- Last updated
- Jul 10, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 8,190,735,360
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsqwen3text-generationchatconversationalenbase_model:Qwen/Qwen3-8Bbase_model:finetune:Qwen/Qwen3-8Blicense:apache-2.0text-generation-inferenceendpoints_compatible
Publisher
project-numinaView publisher statistics →Derived from Qwen/Qwen3-8B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-8BQwen | 7.9M |
| Qwen3-8B-AWQQwen | 2.2M |
| Qwen3-8B-BaseQwen | 700.9K |
| Qwen3-8B-FP8Qwen | 440.3K |
| DeepSeek-R1-0528-Qwen3-8Bdeepseek-ai | 352.9K |
| Qwen3-8B-64k-Context-2X-Josiefied-UncensoredDavidAU | 188.6K |