mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

mradermacher commited on Feb 24

Commit

c0fdc5c

·

verified ·

1 Parent(s): 983f4c4

uploaded from rich1

Files changed (2) hide show

.gitattributes +1 -0
BFS-Prover.f16.gguf +3 -0

.gitattributes CHANGED Viewed

@@ -34,3 +34,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text

 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
 BFS-Prover.Q4_K_S.gguf filter=lfs diff=lfs merge=lfs -text
+BFS-Prover.f16.gguf filter=lfs diff=lfs merge=lfs -text

BFS-Prover.f16.gguf ADDED Viewed

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

+version https://git-lfs.github.com/spec/v1
+oid sha256:14120708a2ceefde8ea7a0272b8bee5fe7e52aec3e6710f58107b5f970a123d5
+size 15237854592