Goedel-LM AI Models
Tracked by OpenModelStats since Aug 23, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 2
- Downloads 30DSum of each tracked model's rolling recent-downloads counter. A sum of repository counters is not a count of unique users.
- 74.2K
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 383.7K
- Total likes
- 99
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- —
Most downloaded
- 1Goedel-Prover-V2-32BAug 27, 202563.4K
- 2Goedel-Prover-V2-8BAug 9, 202510.8K
Recently updated
- 1Goedel-Prover-V2-32BAug 27, 202563.4K
- 2Goedel-Prover-V2-8BAug 9, 202510.8K
All models
| Model | DL 30D | 7D |
|---|---|---|
| Goedel-Prover-V2-32Bgoedel-lm/goedel-prover-v2-32b | 63.4K | — |
| Goedel-Prover-V2-8Bgoedel-lm/goedel-prover-v2-8b | 10.8K | — |