Pythagoras-LM AI Models
Tracked by OpenModelStats since Aug 23, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 1
- Downloads 30DSum of each tracked model's rolling recent-downloads counter. A sum of repository counters is not a count of unique users.
- 1,046
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 4,857
- Total likes
- 8
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 230
Most downloaded
- 1Pythagoras-Prover-4BJul 23, 20261,046
Fastest growing
- 1Pythagoras-Prover-4B+230 in 7D1,046
Recently updated
- 1Pythagoras-Prover-4BJul 23, 20261,046
All models
| Model | DL 30D | 7D |
|---|---|---|
| Pythagoras-Prover-4Bpythagoras-lm/pythagoras-prover-4b | 1,046 | +230 |