The Goedel-LM/Goedel-Prover-V2-32B galaxy

8 models are built on Goedel-LM/Goedel-Prover-V2-32B: 5 quantized, 2 fine-tuned, 1 adapters and 0 merges. Together they were downloaded 7,258 times in the last 30 days.

Most downloaded direct derivatives

• mradermacher/Goedel-Prover-V2-32B-i1-GGUF (quantized), 997 downloads in 30 days
• DevQuasar/Goedel-LM.Goedel-Prover-V2-32B-GGUF (quantized), 697 downloads in 30 days
• mradermacher/Goedel-Prover-V2-32B-GGUF (quantized), 352 downloads in 30 days
• mlx-community/Goedel-Prover-V2-32B-8bit (quantized), 56 downloads in 30 days
• TitiSkywalker/C2C-Goedel-Prover (finetune), 13 downloads in 30 days
• anjohn0077/NEXS-qwen3-32b-prover-lora (adapter), 7 downloads in 30 days