mradermacher
/

Goedel-Code-Prover-8B-GGUF

theorem-proving

code-verification

Model card Files Files and versions

mradermacher commited on 24 days ago

Commit

ee8b2f3

·

verified ·

1 Parent(s): cc6740e

uploaded from nico1

Files changed (2) hide show

.gitattributes +1 -0
Goedel-Code-Prover-8B.Q8_0.gguf +3 -0

.gitattributes CHANGED Viewed

@@ -36,3 +36,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.f16.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text

 Goedel-Code-Prover-8B.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.f16.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text
+Goedel-Code-Prover-8B.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text

Goedel-Code-Prover-8B.Q8_0.gguf ADDED Viewed

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

+version https://git-lfs.github.com/spec/v1
+oid sha256:cb651186935d47df895dd5c9dfc8c243c6b21d83134e25842d6c35af6991164b
+size 8709519168