Goedel-LM/Goedel-Prover-V2-32B download history
Goedel-LM/Goedel-Prover-V2-32B is a 32.8B-parameter text generation model by Goedel-LM. In the last 30 days it was downloaded 4,991 times (2,216 in the last 7 days), and 315,513 times in total.
It ranks #11,646 on the Hub by monthly downloads and #2,995 among text generation models.
It has 74 likes.
It is a fine-tune of Qwen/Qwen3-32B.
8 models build on Goedel-Prover-V2-32B: 5 quantized, 2 fine-tuned, 1 adapters and 0 merges. Together with the original they were downloaded 7,258 times in the last 30 days. See the Goedel-Prover-V2-32B galaxy.
Most downloaded 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