What GPU do I need to run Goedel-LM/Goedel-Prover-V2-32B?
32.8B parameters, published in BF16. View on Hugging Face
Set up Goedel-Prover-V2-32BGoedel-Prover-V2-32B is published by Goedel-LM on Hugging Face, with 89,832 downloads and 73 likes to date. It's a Qwen3ForCausalLM model built for text-generation, published natively in BF16.
VRAM required & cheapest live GPU fit
Required VRAM = weight size at each precision, plus a fixed overhead for KV-cache, activations, and fragmentation. Full formula and assumptions: methodology.
| Precision | Weight size | Required VRAM | Cheapest live fit | GPUs needed | Est. $/hr (full fit) |
|---|---|---|---|---|---|
| BF16 | 61.0 GB | 73.2 GB | A100 | 1 | $1.31/hr |
| cheaper alt. | RTX A5000 | 4 | $0.704/hr | ||
| FP8 (quantized) | 30.5 GB | 36.6 GB | RTX 4090 | 1 | $0.485/hr |
| cheaper alt. | RTX 4000 SFF Ada | 2 | $0.396/hr | ||
| INT4 (quantized) | 15.3 GB | 18.3 GB | RTX A5000 | 1 | $0.176/hr |
A GPU is only matched to a row if its hardware supports that precision, and the primary recommendation is always a single-GPU fit when one exists.
INT4 requires a quantized checkpoint actually published for this model, check its Hugging Face page before relying on this row.
Cheapest way to run Goedel-Prover-V2-32B at its published (BF16) precision: 1× A100, at $1.31/hr per GPU ($1.31/hr total). Quantizing to FP8 or INT4 (rows above) can cost less, but requires a compatible quantized checkpoint to exist for this model.
Goedel-Prover-V2-32B: common questions
Can Goedel-Prover-V2-32B run on a single GPU?
Yes, but not on a desktop card. At BF16 it needs 73.2 GB of VRAM, more than a single 32 GB desktop card holds. The cheapest live single-card fit is a 80.0 GB A100 at $1.31/hr.
What is the least VRAM Goedel-Prover-V2-32B can run in?
18.3 GB, at INT4 (quantized), which fits a 24 GB card, against 73.2 GB at BF16. That row assumes an INT4 checkpoint has actually been published for this model, so check its Hugging Face page before planning around it.
Does quantizing Goedel-Prover-V2-32B lower the GPU bill?
Yes. At BF16 the cheapest live fit is one A100 at $1.31/hr. At INT4 (quantized) it drops to one RTX A5000 at $0.176/hr, provided a quantized checkpoint exists for it.
Weight-to-VRAM math, the fit rules, and how live prices are normalized: full methodology.
More Qwen3 models
- Qwen3-32B (32.8B, BF16)
- Qwen3-32B-FP8 (32.8B, F8_E4M3)
- Qwen3-14B-FP8 (14.8B, F8_E4M3)
- Qwen3-14B (14.8B, BF16)
- Qwen3-14B-Base (14.8B, BF16)
Related reading: A100 pricing and specs, and The best GPUs for AI, ranked.
