LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

Goedel Prover V2 8B by Goedel-LM

 »  All LLMs  »  Goedel-LM  »  Goedel Prover V2 8B   URL Share it on

  7222   
  Arxiv:2508.03613   Autotrain compatible 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 Benchmarks

LLME Score: 0.32514
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Goedel Prover V2 8B (Goedel-LM/Goedel-Prover-V2-8B)
🌟 Advertise your project 🚀

Goedel Prover V2 8B Parameters and Internals

LLM NameGoedel Prover V2 8B
Repository 🤗https://huggingface.co/Goedel-LM/Goedel-Prover-V2-8B 
Base Model(s)  Qwen3 8B   Qwen/Qwen3-8B
Model Size8b
Required VRAM16.4 GB
Updated2025-08-17
MaintainerGoedel-LM
Model Typeqwen3
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 ArchitectureQwen3ForCausalLM
Licenseapache-2.0
Context Length40960
Model Max Length40960
Transformers Version4.51.3
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size151936
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to Goedel Prover V2 8B

Best Alternatives
Context / RAM
Downloads
Likes
...n3 8B 320K Context 10X Massive320K / 16.4 GB450
Qwen3 8B 256K Context 8X Grand256K / 16.4 GB320
...wen3 8B 192K Context 6X Larger192K / 16.4 GB140
DeepSeek R1 0528 Qwen3 8B128K / 16.4 GB368453923
DeepSeek R1 0528 Qwen3 8B128K / 16.4 GB493215
...1 0528 Qwen3 8B Abliterated V1128K / 16.4 GB95826
...1 Qwen3 8B ArliAI RpR V4 Small128K / 16.4 GB96617
DeepSeek R1 0528 Qwen3 8B Bf16128K / 16.3 GB10692
OPC R1 8B128K / 16.4 GB953
Qwen3 EZO 8B YOYO Karcher 128K128K / 16.4 GB121
Note: green Score (e.g. "73.2") means that the model is better than Goedel-LM/Goedel-Prover-V2-8B.

Rank the Goedel Prover V2 8B Capabilities

🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟

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  

What open-source LLMs or SLMs are you in search of? 50728 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124
  Support LLM Explorer