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 32B by Goedel-LM

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

  12711   
  Arxiv:2508.03613   Autotrain compatible Base model:finetune:qwen/qwen3...   Base model:qwen/qwen3-32b   Conversational   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 Benchmarks

LLME Score: 0.32068
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 32B (Goedel-LM/Goedel-Prover-V2-32B)
🌟 Advertise your project 🚀

Goedel Prover V2 32B Parameters and Internals

LLM NameGoedel Prover V2 32B
Repository 🤗https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B 
Base Model(s)  Qwen3 32B   Qwen/Qwen3-32B
Model Size32b
Required VRAM65.8 GB
Updated2025-10-04
MaintainerGoedel-LM
Model Typeqwen3
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 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 32B

Best Alternatives
Context / RAM
Downloads
Likes
...ll Qwen3 32B Preview7 QAT 200K195K / 65.8 GB63
...ll Qwen3 32B Preview6 QAT 200K195K / 65.8 GB132
...ll Qwen3 32B Preview4 QAT 200K195K / 65.8 GB32
Qwen3 32B40K / 65.6 GB5942227549
T Pro It 2.040K / 65.8 GB8188118
UIGEN X 32B 072740K / 65.8 GB1266154
DeepSWE Preview40K / 131.6 GB2030181
Qwen3 32B FP840K / 34.5 GB6706363
MiroThinker 32B DPO V0.140K / 65.6 GB114236
Qwen3 32B40K / 65.8 GB1740811
Note: green Score (e.g. "73.2") means that the model is better than Goedel-LM/Goedel-Prover-V2-32B.

Rank the Goedel Prover V2 32B 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? 51550 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