mradermacher
/

BFS-Prover-V1-7B-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

mradermacher commited on 22 days ago

Commit

0fc5d3a

·

verified ·

1 Parent(s): 89e7ccd

uploaded from marco

Files changed (2) hide show

.gitattributes +1 -0
BFS-Prover-V1-7B.Q4_K_M.gguf +3 -0

.gitattributes CHANGED Viewed

@@ -40,3 +40,4 @@ BFS-Prover-V1-7B.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text

 BFS-Prover-V1-7B.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text
+BFS-Prover-V1-7B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text

BFS-Prover-V1-7B.Q4_K_M.gguf ADDED Viewed

	@@ -0,0 +1,3 @@

+version https://git-lfs.github.com/spec/v1
+oid sha256:3832f3521d5b4075c21a018890ffbb15e371d047a4b6d2bcbd3854422d78691a
+size 4683075008