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

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

Goedel Prover V2 8B EI Campaign1 R3 is developed by viai957, 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 EI Campaign1 R3?

Goedel Prover V2 8B EI Campaign1 R3 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 EI Campaign1 R3 by viai957 — VRAM 16.7GB, 40K context

Name: Goedel Prover V2 8B EI Campaign1 R3
Author: viai957

Goedel Prover V2 8B EI Campaign1 R3 is an open-source language model by viai957. Features: 8b LLM, VRAM: 16.7GB, Context: 40K, License: apache-2.0, LLM Explorer Score: 0.32.

Base model:finetune:goedel-lm/... Base model:goedel-lm/goedel-pr... Conversational Dataset:goedel-lm/goedel-pset-... Dataset:hanghor/rl-goedel-pset... Dataset:iiis-lean/numinamath-l... Dataset:nvidia/nemotron-math-p... Dataset:spherelab/formalmath-a... Endpoints compatible Expert-iteration Goedel-prover Lean4 Proofforge Qwen3 Region:us Safetensors Sharded Tensorflow Theorem-proving

Model Card on HF 🤗: https://huggingface.co/viai957/Goedel-Prover-V2-8B-EI-campaign1-r3

Goedel Prover V2 8B EI Campaign1 R3 Parameters and Internals

LLM Name	Goedel Prover V2 8B EI Campaign1 R3
Repository 🤗	https://huggingface.co/viai957/Goedel-Prover-V2-8B-EI-campaign1-r3
Base Model(s)	Goedel Prover V2 8B Goedel-LM/Goedel-Prover-V2-8B
Model Size	8b
Required VRAM	16.7 GB
Updated	2026-10-30
Maintainer	viai957
Model Type	qwen3
Model Files	1.2 GB: 1-of-17 1.0 GB: 2-of-17 1.1 GB: 3-of-17 1.1 GB: 4-of-17 1.1 GB: 5-of-17 1.1 GB: 6-of-17 1.0 GB: 7-of-17 1.1 GB: 8-of-17 1.1 GB: 9-of-17 1.1 GB: 10-of-17 1.1 GB: 11-of-17 1.0 GB: 12-of-17 1.1 GB: 13-of-17 1.1 GB: 14-of-17 0.0 GB: 15-of-17 1.2 GB: 16-of-17 0.3 GB: 17-of-17
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 EI Campaign1 R3 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 EI Campaign1 R3

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
...1 Qwen3 8B ArliAI RpR V4 Small	128K / 16.4 GB	182	1

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