AI-MO AI Models
Tracked by OpenModelStats since Aug 23, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 4
- Downloads 30DSum of each tracked model's rolling recent-downloads counter. A sum of repository counters is not a count of unique users.
- 2,195
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 278.1K
- Total likes
- 416
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 281
Most downloaded
- 1Kimina-Prover-Distill-1.7BJul 10, 2025805
- 2NuminaMath-7B-TIRAug 14, 2024631
- 3Kimina-Autoformalizer-7BApr 16, 2025608
- 4Kimina-Prover-Preview-Distill-7BApr 17, 2025151
Fastest growing
- 1Kimina-Prover-Distill-1.7B+227 in 7D805
- 2NuminaMath-7B-TIR+54 in 7D631
- 3Kimina-Autoformalizer-7B+0 in 7D608
- 4Kimina-Prover-Preview-Distill-7B+0 in 7D151
Recently updated
- 1Kimina-Prover-Distill-1.7BJul 10, 2025805
- 2Kimina-Prover-Preview-Distill-7BApr 17, 2025151
- 3Kimina-Autoformalizer-7BApr 16, 2025608
- 4NuminaMath-7B-TIRAug 14, 2024631
All models
| Model | DL 30D | 7D |
|---|---|---|
| Kimina-Prover-Distill-1.7Bai-mo/kimina-prover-distill-1.7b | 805 | +227 |
| NuminaMath-7B-TIRai-mo/numinamath-7b-tir | 631 | +54 |
| Kimina-Autoformalizer-7Bai-mo/kimina-autoformalizer-7b | 608 | +0 |
| Kimina-Prover-Preview-Distill-7Bai-mo/kimina-prover-preview-distill-7b | 151 | +0 |