Hugging Face's logo

mradermacher
/
Goedel-Code-Prover-8B-GGUF

Transformers
GGUF
English
lean4
theorem-proving
verification
code-verification
conversational
Model card Files
xet
 Community
mradermacher commited on
Commit
3eaeef0
·
verified ·
1 Parent(s): 499257c

auto-patch README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -46,6 +46,7 @@ more details, including on how to concatenate multi-part files.
46
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_S.gguf) | Q3_K_S | 3.9 | |
47
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_M.gguf) | Q3_K_M | 4.2 | lower quality |
48
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_L.gguf) | Q3_K_L | 4.5 | |
 
49
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q4_K_S.gguf) | Q4_K_S | 4.9 | fast, recommended |
50
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q4_K_M.gguf) | Q4_K_M | 5.1 | fast, recommended |
51
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q5_K_S.gguf) | Q5_K_S | 5.8 | |
 
46
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_S.gguf) | Q3_K_S | 3.9 | |
47
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_M.gguf) | Q3_K_M | 4.2 | lower quality |
48
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q3_K_L.gguf) | Q3_K_L | 4.5 | |
49
+ | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.IQ4_XS.gguf) | IQ4_XS | 4.7 | |
50
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q4_K_S.gguf) | Q4_K_S | 4.9 | fast, recommended |
51
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q4_K_M.gguf) | Q4_K_M | 5.1 | fast, recommended |
52
  | [GGUF](https://huggingface.co/mradermacher/Goedel-Code-Prover-8B-GGUF/resolve/main/Goedel-Code-Prover-8B.Q5_K_S.gguf) | Q5_K_S | 5.8 | |