Goedel-LM/Goedel-Prover-V2-8B download history
Goedel-LM/Goedel-Prover-V2-8B is an 8.2B-parameter text generation model by Goedel-LM. In the last 30 days it was downloaded 2,662 times (757 in the last 7 days), and 107,155 times in total.
It ranks #17,194 on the Hub by monthly downloads and #4,511 among text generation models.
It has 27 likes.
It is a fine-tune of Qwen/Qwen3-8B.
9 models build on Goedel-Prover-V2-8B: 5 quantized, 3 fine-tuned, 0 adapters and 1 merges. Together with the original they were downloaded 4,912 times in the last 30 days. See the Goedel-Prover-V2-8B galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Prover-V2-8B-GGUF (quantized), 373 downloads in 30 days
- ryanfortin/community-blend-qwen3-8b (merge), 119 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), 28 downloads in 30 days
- RickyDeSkywalker/GAR_Goedel-Prover-V2 (finetune), 21 downloads in 30 days