Goedel Prover v2 32B — Hardware Requirements & GPU Compatibility
Chat
5.0K downloads
64 likesSpecifications
- Publisher
- Goedel-LM
- Parameters
- 32B
- Architecture
- Qwen3ForCausalLM
- Context Length
- 40,960 tokens
- Vocabulary Size
- 151,936
- Release Date
- 2025-08-27
- License
- Apache 2.0
Get Started
HuggingFace
How Much VRAM Does Goedel Prover v2 32B Need?
Select a quantization to see compatible GPUs below.
| Quantization | Bits | VRAM | + Context | File Size | Quality |
|---|---|---|---|---|---|
| BF16 | 16.00 | 64.6 GB | 71.0 GB | 64.00 GB | Brain floating point 16 — preferred for training |
Which GPUs Can Run Goedel Prover v2 32B?
BF16 · 64.6 GBGoedel Prover v2 32B (BF16) requires 64.6 GB of VRAM to load the model weights. For comfortable inference with headroom for KV cache and system overhead, 85+ GB is recommended. Using the full 41K context window can add up to 6.4 GB, bringing total usage to 71.0 GB. No single GPU has enough memory — multi-GPU or cluster setups are needed.
Which Devices Can Run Goedel Prover v2 32B?
BF16 · 64.6 GB5 devices with unified memory can run Goedel Prover v2 32B, including NVIDIA DGX H100, NVIDIA DGX A100 640GB.
Related Models
Frequently Asked Questions
- How much VRAM does Goedel Prover v2 32B need?
Goedel Prover v2 32B requires 64.6 GB of VRAM at BF16. Full 41K context adds up to 6.4 GB (71.0 GB total).
VRAM = Weights + KV Cache + Overhead
Weights = 32B × 16 bits ÷ 8 = 64 GB
KV Cache + Overhead ≈ 0.6 GB (at 2K context + ~0.3 GB framework)
KV Cache + Overhead ≈ 7 GB (at full 41K context)
VRAM usage by quantization
BF1664.6 GBBF16 + full context71.0 GB- Can NVIDIA GeForce RTX 5090 run Goedel Prover v2 32B?
No — Goedel Prover v2 32B requires at least 64.6 GB at BF16, which exceeds the NVIDIA GeForce RTX 5090's 32 GB of VRAM.
- Can I run Goedel Prover v2 32B on a Mac?
Goedel Prover v2 32B requires at least 64.6 GB at BF16, which exceeds the unified memory of most consumer Macs. You would need a Mac Studio or Mac Pro with a high-memory configuration.
- Can I run Goedel Prover v2 32B locally?
Yes — Goedel Prover v2 32B can run locally on consumer hardware. At BF16 quantization it needs 64.6 GB of VRAM. Popular tools include Ollama, LM Studio, and llama.cpp.
- How fast is Goedel Prover v2 32B?
At BF16, Goedel Prover v2 32B can reach ~45 tok/s on AMD Instinct MI300X. Speed depends mainly on GPU memory bandwidth. Real-world results typically within ±20%.
tok/s = (bandwidth GB/s ÷ model GB) × efficiency
Example: AMD Instinct MI300X → 5300 ÷ 64.6 × 0.55 = ~45 tok/s
Estimated speed at BF16 (64.6 GB)
AMD Instinct MI300X~45 tok/sNVIDIA H100 SXM~34 tok/sAMD Instinct MI250X~28 tok/sReal-world results typically within ±20%. Speed depends on batch size, quantization kernel, and software stack.
- What's the download size of Goedel Prover v2 32B?
At BF16, the download is about 64.00 GB.
- Which GPUs can run Goedel Prover v2 32B?
No single consumer GPU has enough VRAM to run Goedel Prover v2 32B at BF16 (64.6 GB). Multi-GPU or professional hardware is required.
- Which devices can run Goedel Prover v2 32B?
5 devices with unified memory can run Goedel Prover v2 32B at BF16 (64.6 GB), including Mac Pro M2 Ultra (192 GB), Mac Studio M2 Ultra (192 GB), Mac Studio M4 Max (128 GB), NVIDIA DGX A100 640GB. Apple Silicon Macs use unified memory shared between CPU and GPU, making them well-suited for local LLM inference.