Which needs less VRAM, AI21 Jamba Mini 1.5 or Goedel Prover v2 32B?

At BF16, AI21 Jamba Mini 1.5 needs 113.5 GB and Goedel Prover v2 32B needs 66.2 GB, so Goedel Prover v2 32B is the lighter option to run locally.

What is the difference between AI21 Jamba Mini 1.5 and Goedel Prover v2 32B?

AI21 Jamba Mini 1.5 is a 51.6B model from AI21 Labs, while Goedel Prover v2 32B is a 32.8B model from Goedel-LM. Compare their VRAM requirements above to see which fits your GPU or Mac.

AI21 Jamba Mini 1.5 vs Goedel Prover v2 32B

Side-by-side comparison of VRAM requirements, quantization, context length, and hardware compatibility.

AI21 Jamba Mini 1.5

AI21 Labs · 51.6B

Chat

Goedel Prover v2 32B

Goedel-LM · 32.8B

Chat

Specifications

	AI21 Jamba Mini 1.5	Goedel Prover v2 32B
Parameters	51.6B	32.8B
Context	—	41K
Architecture	—	Qwen3ForCausalLM
License	Other	Apache 2.0
Downloads	10.0K	7.2K
Released	Feb 2026	Aug 2025

VRAM by Quantization: AI21 Jamba Mini 1.5 vs Goedel Prover v2 32B

Quantization	Bits	AI21 Jamba Mini 1.5 VRAM	Goedel Prover v2 32B VRAM
BF16	16.00	113.5 GB	66.2 GB

Verdict

Goedel Prover v2 32B needs less VRAM at BF16 (66.2 GB vs 113.5 GB), so it fits on smaller GPUs. AI21 Jamba Mini 1.5 is the more widely downloaded of the two.

Frequently Asked Questions

Which needs less VRAM, AI21 Jamba Mini 1.5 or Goedel Prover v2 32B?: At BF16, AI21 Jamba Mini 1.5 needs 113.5 GB and Goedel Prover v2 32B needs 66.2 GB, so Goedel Prover v2 32B is the lighter option to run locally.
What is the difference between AI21 Jamba Mini 1.5 and Goedel Prover v2 32B?: AI21 Jamba Mini 1.5 is a 51.6B model from AI21 Labs, while Goedel Prover v2 32B is a 32.8B model from Goedel-LM. Compare their VRAM requirements above to see which fits your GPU or Mac.