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

Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. BFS-Prover.Q4_K_M.gguf +3 -0
.gitattributes CHANGED
@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
 
 
33
  *.zip filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
+ BFS-Prover.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
BFS-Prover.Q4_K_M.gguf ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ version https://git-lfs.github.com/spec/v1
2
+ oid sha256:e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b
3
+ size 4683074496