Kimina-Prover-Distill-1.7B
project-numina/Kimina-Prover-Distill-1.7B
Tracked by OpenModelStats since October 28, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 517
- Total downloadsCumulative all-time download counter reported by the source platform.
- 108.6K
- 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.
- 7
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #13815 among tracked Text Generation models.
- #47,726
- 2074(up 2074 places)this week
- Parameters
- 2B
- Last source update
- Jul 10, 2025
- It moved from #14585 to #13815 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-1.7B is a text generation model published by project-numina. OpenModelStats has tracked the model since Oct 28, 2026, most recently observing it 11h ago.
- Published
- Jul 4, 2025
- Last updated
- Jul 10, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 2,031,739,904
- Spaces
- 1
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsqwen3text-generationchatconversationalenbase_model:Qwen/Qwen3-1.7Bbase_model:finetune:Qwen/Qwen3-1.7Blicense:apache-2.0text-generation-inferenceendpoints_compatible
Model family
Based on base-model relationships reported by the source's metadata.
Base model
- Qwen3-1.7B4.1M
Sibling models
- Qwen3-1.7B-GGUF227.2K
- Qwen3-1.7B-GGUF159.8K
- Qwen3-1.7B-GGUF69.2K
- Qwen3-1.7B43K
- Qwen3-1.7B-FP8-dynamic2,346
- Selora-AI-LLM-1.7B1,694
- Qwen3-1.7B-GGUF1,368
- SMB-v1_Qwen3-1.7b_multi-objective1,347
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-1.7BQwen | 4.1M |
| Qwen3-1.7BPrimeIntellect | 329.8K |
| Qwen3-1.7B-FP8Qwen | 13K |
| Qwen3-1.7B-SFTlllyx | 2,311 |
| SDAR-1.7B-ChatJetLM | 2,191 |
| Qwen3-1.7B-Coder-Distilled-SFTreaperdoesntknow | 2,054 |