mradermacher
/

Goedel-Code-Prover-8B-GGUF

theorem-proving

code-verification

Model card Files Files and versions

mradermacher commited on 24 days ago

Commit

215a909

·

verified ·

1 Parent(s): 2899d2a

uploaded from nico1

Files changed (2) hide show

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

.gitattributes CHANGED Viewed

@@ -43,3 +43,4 @@ Goedel-Code-Prover-8B.Q3_K_S.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text

 Goedel-Code-Prover-8B.Q3_K_L.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
 Goedel-Code-Prover-8B.Q5_K_S.gguf filter=lfs diff=lfs merge=lfs -text
+Goedel-Code-Prover-8B.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text

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

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

+version https://git-lfs.github.com/spec/v1
+oid sha256:9e2fd4bbeef9ae5f72a66b968f1816e2665237d0738e5fbfd68939d543319e68
+size 5851113280