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

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

Most downloaded direct 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