Goedel-Prover-SFT
Goedel-LM/Goedel-Prover-SFT
6.9B parametersLicense: mit
Tracked by OpenModelStats since September 22, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 228
- Total downloadsCumulative all-time download counter reported by the source platform.
- 64.9K
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- —
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 32
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #52,045
- 463(down 463 places)this week
- Parameters
- 6.9B
- Last source update
- Apr 18, 2025
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterOverview
Goedel-Prover-SFT is an AI model published by Goedel-LM. OpenModelStats has tracked the model since Sep 22, 2026, most recently observing it Sep 29, 2026.
- Published
- Jan 28, 2025
- Last updated
- Apr 18, 2025
- Library
- —
- License
- mit
- Task
- —
- Parameters
- 6,910,365,696
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsllamaarxiv:2502.07640license:mitregion:us
Publisher
Goedel-LMView publisher statistics →Similar models
| Model | DL 30D |
|---|---|
| deepseek-coder-7b-instruct-v1.5deepseek-ai | 648K |
| natural-sql-7bchatdb | 189.6K |
| DeepSeek-Prover-V2-7Bdeepseek-ai | 52.1K |
| DeepSeek-Prover-V1.5-RLdeepseek-ai | 4,375 |
| deepseek-math-7b-rldeepseek-ai | 1,928 |
| deepseek-coder-7b-base-v1.5deepseek-ai | 1,122 |