Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF
mradermacher/Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF
transformersLicense: mit
Tracked by OpenModelStats since October 11, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 456
- Total downloadsCumulative all-time download counter reported by the source platform.
- 1,486
- 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.
- 0
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #46,019
- 196(down 196 places)this week
- Parameters
- —
- Last source update
- Oct 10, 2026
Downloads over time
Daily gain between consecutive observationsLikes over time
Rank among tracked models
Lower is betterOverview
Goedel-Formalizer-32B-LeanWorkbookAnnotated-GGUF is an AI model published by mradermacher. OpenModelStats has tracked the model since Oct 11, 2026, most recently observing it Oct 11, 2026.
- Published
- Apr 23, 2025
- Last updated
- Oct 10, 2026
- Library
- transformers
- License
- mit
- Task
- —
- Parameters
- —
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformersggufenbase_model:Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotatedbase_model:quantized:Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotatedlicense:mitendpoints_compatibleregion:usconversational
Publisher
mradermacherView publisher statistics →Derived from Goedel-LM/Goedel-Formalizer-32B-LeanWorkbookAnnotated (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| all-MiniLM-L6-v2sentence-transformers | 213M |
| ms-marco-MiniLM-L6-v2cross-encoder | 77.5M |
| bge-small-en-v1.5BAAI | 58.5M |
| paraphrase-multilingual-MiniLM-L12-v2sentence-transformers | 46.1M |
| electra-base-discriminatorgoogle | 41.9M |
| bert-base-uncasedgoogle-bert | 32.1M |