Hugging Face's logo

mradermacher
/
BFS-Prover-V2-32B-i1-GGUF

Transformers
GGUF
English
lean4
step-prover
imatrix
Model card Files
xet
Community
mradermacher commited on
Commit
3c3e8ea
·
verified ·
1 Parent(s): 26072d7

uploaded from marco

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover-V2-32B.i1-Q5_K_S.gguf +3 -0
.gitattributes CHANGED
@@ -49,3 +49,4 @@ BFS-Prover-V2-32B.i1-Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
49
  BFS-Prover-V2-32B.i1-IQ2_XXS.gguf filter=lfs diff=lfs merge=lfs -text
50
  BFS-Prover-V2-32B.i1-Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
51
  BFS-Prover-V2-32B.i1-IQ2_XS.gguf filter=lfs diff=lfs merge=lfs -text
 
 
49
  BFS-Prover-V2-32B.i1-IQ2_XXS.gguf filter=lfs diff=lfs merge=lfs -text
50
  BFS-Prover-V2-32B.i1-Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
51
  BFS-Prover-V2-32B.i1-IQ2_XS.gguf filter=lfs diff=lfs merge=lfs -text
52
+ BFS-Prover-V2-32B.i1-Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover-V2-32B.i1-Q5_K_S.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:135f4c0d4d4959385a9265229408adeeacec8e8040e8383e65634c4ad91ba00a
3
+ size 22638252704