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

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

Most downloaded direct derivatives

• mradermacher/Goedel-Prover-V2-8B-GGUF (quantized), 701 downloads in 30 days
• ryanfortin/community-blend-qwen3-8b (merge), 118 downloads in 30 days
• NikolayKozloff/Goedel-Prover-V2-8B-Q8_0-GGUF (quantized), 37 downloads in 30 days
• uw-math-ai/gAPRIL-wo-exp (finetune), 29 downloads in 30 days
• uw-math-ai/gAPRIL-w-exp (finetune), 27 downloads in 30 days
• RickyDeSkywalker/GAR_Goedel-Prover-V2 (finetune), 22 downloads in 30 days

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.