Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
aashish1904 commited on
Commit
fea5fe0
·
verified ·
1 Parent(s): 64d526f

Upload BFS-Prover.Q6_K.gguf with huggingface_hub

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover.Q6_K.gguf +3 -0
.gitattributes CHANGED
@@ -37,3 +37,4 @@ BFS-Prover.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
37
  BFS-Prover.Q4_1.gguf filter=lfs diff=lfs merge=lfs -text
38
  BFS-Prover.Q4_0.gguf filter=lfs diff=lfs merge=lfs -text
39
  BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
 
 
37
  BFS-Prover.Q4_1.gguf filter=lfs diff=lfs merge=lfs -text
38
  BFS-Prover.Q4_0.gguf filter=lfs diff=lfs merge=lfs -text
39
  BFS-Prover.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
40
+ BFS-Prover.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover.Q6_K.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5
3
+ size 6254199744