What are the hardware requirements for Goedel Prover V2 32B?

Goedel Prover V2 32B requires approximately 65.8 GB of VRAM and supports a context window of 40K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed Goedel Prover V2 32B and how large is it?

Goedel Prover V2 32B is developed by Goedel-LM, a model with 32b parameters. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate Goedel Prover V2 32B?

Goedel Prover V2 32B is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

Goedel Prover V2 32B by Goedel-LM — VRAM 65.8GB, 40K context

Name: Goedel Prover V2 32B
Author: Goedel-LM

Goedel Prover V2 32B is an open-source language model by Goedel-LM. Features: 32b LLM, VRAM: 65.8GB, Context: 40K, License: apache-2.0, LLM Explorer Score: 0.25.

Arxiv:2508.03613 Base model:finetune:qwen/qwen3... Base model:qwen/qwen3-32b Conversational Deploy:azure Endpoints compatible Qwen3 Region:us Safetensors Sharded Tensorflow

Model Card on HF 🤗: https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B

Goedel Prover V2 32B Parameters and Internals

LLM Name	Goedel Prover V2 32B
Repository 🤗	https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B
Base Model(s)	Qwen3 32B Qwen/Qwen3-32B
Model Size	32b
Required VRAM	65.8 GB
Updated	2026-08-06
Maintainer	Goedel-LM
Model Type	qwen3
Model Files	4.9 GB: 1-of-14 4.9 GB: 2-of-14 4.9 GB: 3-of-14 4.9 GB: 4-of-14 4.9 GB: 5-of-14 4.9 GB: 6-of-14 4.9 GB: 7-of-14 4.9 GB: 8-of-14 4.9 GB: 9-of-14 4.9 GB: 10-of-14 4.9 GB: 11-of-14 4.9 GB: 12-of-14 4.9 GB: 13-of-14 2.1 GB: 14-of-14
Model Architecture	Qwen3ForCausalLM
License	apache-2.0
Context Length	40960
Model Max Length	40960
Transformers Version	4.51.3
Tokenizer Class	Qwen2Tokenizer
Padding Token	<\|endoftext\|>
Vocabulary Size	151936
Torch Data Type	bfloat16
Errors	replace

Rank the Goedel Prover V2 32B capabilities

Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.

Instruction Following and Task Automation
Factuality and Completeness of Knowledge
Censorship and Alignment
Data Analysis and Insight Generation
Text Generation
Text Summarization and Feature Extraction
Code Generation
Multi-Language Support and Translation

Best Alternatives to Goedel Prover V2 32B

Best Alternatives	Context / RAM	Downloads	Likes
...ll Qwen3 32B Preview7 QAT 200K	195K / 65.8 GB	10	3
...ll Qwen3 32B Preview6 QAT 200K	195K / 65.8 GB	6	2
...ll Qwen3 32B Preview4 QAT 200K	195K / 65.8 GB	13	2
Qwen3 32B AWorld	128K / 65.8 GB	37	15
Qwen3 32B	40K / 65.8 GB	5411	15
Qwen3 32B	40K / 65.6 GB	6155624	715
OpenThinkerAgent 32B	40K / 65.8 GB	9022	9
EviNurse 32B	40K / 65.5 GB	915	0
Qwen3 Swallow 32B SFT V0.2	40K / 65.6 GB	24411	0
...gy GPT Regulatorio 32B Safe V2	40K / 131.6 GB	205	0

Note: green Score (e.g. "73.2") means that the model is better than Goedel-LM/Goedel-Prover-V2-32B.