8-bit Open on Hugging Face
Parameters
33B
Weights (est.)
≈ 34.8 GB
Mac memory (est.)
48 GB+
Size is estimated from the parameter count and quantisation. Memory allows a fifth extra for context plus 2 GB for the system; long contexts need more.
Run it
With mlx-lm on an Apple silicon Mac:
pip install mlx-lmmlx_lm.generate --model mlx-community/Goedel-Prover-V2-32B-8bit --prompt "Hello"
Details
- Base model
- Goedel-LM/Goedel-Prover-V2-32B (quantized)
- Vendor
- Goedel-LM
- Task
- Text generation
- Quantisation
- 8-bit
- Licence
- apache-2.0
- Downloads
- 54 in the last 30 days · 306 all time · 0 likes
- Published
- 2026-01-26 · updated 2026-01-26 (9mo ago)
- Tags
- qwen3