Goedel-LM AI Models
Tracked by OpenModelStats since Aug 23, 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.
- 7,566
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 488K
- Total likes
- 133
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 1,262
Most downloaded
- 1Goedel-Prover-V2-32BAug 27, 20254,599
- 2Goedel-Prover-V2-8BAug 9, 20252,739
- 3Goedel-Prover-SFTApr 18, 2025228
Fastest growing
- 1Goedel-Prover-V2-8B+684 in 7D2,739
- 2Goedel-Prover-V2-32B+578 in 7D4,599
Recently updated
- 1Goedel-Prover-V2-32BAug 27, 20254,599
- 2Goedel-Prover-V2-8BAug 9, 20252,739
- 3Goedel-Prover-SFTApr 18, 2025228
All models
| Model | DL 30D | 7D |
|---|---|---|
| Goedel-Prover-V2-32Bgoedel-lm/goedel-prover-v2-32b | 5,492 | +578 |
| Goedel-Prover-V2-8Bgoedel-lm/goedel-prover-v2-8b | 2,728 | +684 |
| Goedel-Prover-SFTgoedel-lm/goedel-prover-sft | 228 | — |