mradermacher
/

BFS-Prover-V1-7B-i1-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions

mradermacher commited on Oct 15

Commit

484d2cc

·

verified ·

1 Parent(s): a47f072

uploaded from marco

Files changed (2) hide show

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

.gitattributes CHANGED Viewed

@@ -42,3 +42,4 @@ BFS-Prover-V1-7B.i1-IQ3_XXS.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.i1-Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.i1-IQ4_NL.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.i1-IQ2_M.gguf filter=lfs diff=lfs merge=lfs -text

 BFS-Prover-V1-7B.i1-Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.i1-IQ4_NL.gguf filter=lfs diff=lfs merge=lfs -text
 BFS-Prover-V1-7B.i1-IQ2_M.gguf filter=lfs diff=lfs merge=lfs -text
+BFS-Prover-V1-7B.i1-Q6_K.gguf filter=lfs diff=lfs merge=lfs -text

BFS-Prover-V1-7B.i1-Q6_K.gguf ADDED Viewed

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

+version https://git-lfs.github.com/spec/v1
+oid sha256:3ccac1bfeb7973671c67630c53d22c703eca7ad8bc34ec69f831c1a4011d7999
+size 6254200512