Hugging Face's logo

mradermacher
/
BFS-Prover-GGUF

Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
Model card Files Community
mradermacher commited on
Commit
3febc13
·
verified ·
1 Parent(s): 42424fa

auto-patch README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -41,6 +41,7 @@ more details, including on how to concatenate multi-part files.
41
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_S.gguf) | Q3_K_S | 3.6 | |
42
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_M.gguf) | Q3_K_M | 3.9 | lower quality |
43
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_L.gguf) | Q3_K_L | 4.2 | |
 
44
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q4_K_S.gguf) | Q4_K_S | 4.6 | fast, recommended |
45
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q4_K_M.gguf) | Q4_K_M | 4.8 | fast, recommended |
46
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q5_K_S.gguf) | Q5_K_S | 5.4 | |
 
41
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_S.gguf) | Q3_K_S | 3.6 | |
42
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_M.gguf) | Q3_K_M | 3.9 | lower quality |
43
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q3_K_L.gguf) | Q3_K_L | 4.2 | |
44
+ | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.IQ4_XS.gguf) | IQ4_XS | 4.4 | |
45
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q4_K_S.gguf) | Q4_K_S | 4.6 | fast, recommended |
46
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q4_K_M.gguf) | Q4_K_M | 4.8 | fast, recommended |
47
  | [GGUF](https://huggingface.co/mradermacher/BFS-Prover-GGUF/resolve/main/BFS-Prover.Q5_K_S.gguf) | Q5_K_S | 5.4 | |