Goedel-LM · First MLX build 26 Jan 2026
Goedel-Prover-V2-32B
MLX
Text apache-2.0
A 33B parameter text generation model from Goedel-LM, with one MLX build at 8-bit.
- Parameters
- 33B From Hugging Face
- Quantisation
- 8-bit Goedel-Prover-V2-32B-8bit
- Memory needed
- 41 GB Estimate, unified memory
- Download
- 34.8 GB Weights, estimated
- Downloads
- 54 This build, last 30 days
- Task
- Text generation Text
- MLX builds
- 1 On mlx-community
- Devices
- Mac Apple silicon
Memory
Will it fit?Needs about 41 GB at 8-bit
8 GB
16 GB
24 GB
32 GB
64 GB
128 GB
Fits with headroomTight, close other appsWon’t fit
Estimated from the size of the weights, plus a fifth for context and working memory and 2 GB for macOS and your apps. Long contexts need more.
Run it
Terminal · mlx-lm$ pip install -U mlx-lm
$ mlx_lm.generate --model mlx-community/Goedel-Prover-V2-32B-8bit --prompt "Hello"MLX builds
1 on mlx-community| Goedel-Prover-V2-32B-8bit | 8-bit | 34.8 GB | 41 GB | 54 |
|---|
Sizes are estimated from Hugging Face’s parameter counts and the quantisation. Downloads are for the last 30 days.