Goedel-LM/Goedel-Code-Prover-8B download history
Goedel-LM/Goedel-Code-Prover-8B is an 8.2B-parameter model model by Goedel-LM. In the last 30 days it was downloaded 57 times (7 in the last 7 days), and 2,284 times in total.
It ranks #240,805 on the Hub by monthly downloads.
It has 11 likes.
It is a fine-tune of Qwen/Qwen3-8B.
5 models build on Goedel-Code-Prover-8B: 5 quantized, 0 fine-tuned, 0 adapters and 0 merges. Together with the original they were downloaded 651 times in the last 30 days. See the Goedel-Code-Prover-8B galaxy.
Most downloaded derivatives
- mradermacher/Goedel-Code-Prover-8B-GGUF (quantized), 538 downloads in 30 days
- khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6 (quantized), 24 downloads in 30 days
- abalogh/Goedel-Code-Prover-8B-8bit (quantized), 14 downloads in 30 days
- khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4 (quantized), 11 downloads in 30 days
- khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8 (quantized), 7 downloads in 30 days