project-numina AI Models
Tracked by OpenModelStats since Oct 27, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 3
- Downloads 30DSum of each tracked model's rolling recent-downloads counter. A sum of repository counters is not a count of unique users.
- 5,560
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 251.7K
- Total likes
- 367
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 0
Most downloaded
- 1NuminaMath-7B-TIRAug 14, 20244,762
- 2Kimina-Prover-Distill-8BJul 10, 2025536
- 3Kimina-Prover-Distill-1.7BJul 10, 2025517
Recently updated
- 1Kimina-Prover-Distill-1.7BJul 10, 2025517
- 2Kimina-Prover-Distill-8BJul 10, 2025536
- 3NuminaMath-7B-TIRAug 14, 20244,762
All models
| Model | DL 30D | 7D |
|---|---|---|
| NuminaMath-7B-TIRproject-numina/numinamath-7b-tir | 4,762 | — |
| Kimina-Prover-Distill-8Bproject-numina/kimina-prover-distill-8b | 536 | — |
| Kimina-Prover-Distill-1.7Bproject-numina/kimina-prover-distill-1.7b | 517 | — |