Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
conversational
aashish1904 commited on
Commit
9a733ae
·
verified ·
1 Parent(s): 5c8997c

Upload BFS-Prover.Q3_K_S.gguf with huggingface_hub

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover.Q3_K_S.gguf +3 -0
.gitattributes CHANGED
@@ -45,3 +45,4 @@ BFS-Prover.Q5_1.gguf filter=lfs diff=lfs merge=lfs -text
45
  BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
46
  BFS-Prover.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
47
  BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
 
 
45
  BFS-Prover.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
46
  BFS-Prover.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
47
  BFS-Prover.Q3_K_M.gguf filter=lfs diff=lfs merge=lfs -text
48
+ BFS-Prover.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover.Q3_K_S.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8
3
+ size 3492369344