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

Goedel Prover V2 8B requires approximately 16.4 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 8B and how large is it?

Goedel Prover V2 8B is developed by Goedel-LM, a model with 8b 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 8B?

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

Goedel Prover V2 8B by Goedel-LM — VRAM 16.4GB, 40K context

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

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

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

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

Goedel Prover V2 8B Parameters and Internals

LLM Name	Goedel Prover V2 8B
Repository 🤗	https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B
Base Model(s)	Qwen3 8B Qwen/Qwen3-8B
Model Size	8b
Required VRAM	16.4 GB
Updated	2026-08-08
Maintainer	Goedel-LM
Model Type	qwen3
Model Files	4.9 GB: 1-of-4 4.9 GB: 2-of-4 5.0 GB: 3-of-4 1.6 GB: 4-of-4
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 8B 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 8B

Best Alternatives	Context / RAM	Downloads	Likes
PaCoRe 8B	320K / 1.2 GB	54	48
RLVR 8B 0926	320K / 1.2 GB	63	8
...n3 8B 320K Context 10X Massive	320K / 16.4 GB	20	0
...r Of Horror Jan V1 256K Ctx 8B	256K / 16.1 GB	33	3
... BIG Jan Horror V1 256K Ctx 8B	256K / 16.1 GB	44	0
Qwen3 8B 256K Context 8X Grand	256K / 16.4 GB	95	0
...wen3 8B 192K Context 6X Larger	192K / 16.4 GB	55	0
DeepSeek R1 0528 Qwen3 8B	128K / 16.4 GB	1762293	1082
...Qwen3 8B NVFP4 W4A16 PreTensor	128K / 0.9 GB	463	3
...Reason 8B Pretrain Competition	128K / 16.8 GB	244	0

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