mradermacher
/

BFS-Prover-GGUF

theorem-proving

formal-mathematics

Model card Files Files and versions Community

mradermacher commited on Feb 24

Commit

712768e

·

verified ·

1 Parent(s): c0fdc5c

uploaded from rich1

Files changed (2) hide show

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

.gitattributes CHANGED Viewed

@@ -35,3 +35,4 @@ saved_model/**/* 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

 *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.Q2_K.gguf filter=lfs diff=lfs merge=lfs -text

BFS-Prover.Q2_K.gguf ADDED Viewed

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

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