Hugging Face's logo

tensorblock
/
BFS-Prover-GGUF

Text Generation
Transformers
GGUF
English
lean4
theorem-proving
formal-mathematics
TensorBlock
GGUF
conversational
Model card Files
xet
Community
morriszms commited on
Commit
d800522
·
verified ·
1 Parent(s): c92d8c3

Keep Q2_K/Q3_K_M gguf only

Browse files
Files changed (10) hide show
  1. BFS-Prover-Q3_K_L.gguf +0 -3
  2. BFS-Prover-Q3_K_S.gguf +0 -3
  3. BFS-Prover-Q4_0.gguf +0 -3
  4. BFS-Prover-Q4_K_M.gguf +0 -3
  5. BFS-Prover-Q4_K_S.gguf +0 -3
  6. BFS-Prover-Q5_0.gguf +0 -3
  7. BFS-Prover-Q5_K_M.gguf +0 -3
  8. BFS-Prover-Q5_K_S.gguf +0 -3
  9. BFS-Prover-Q6_K.gguf +0 -3
  10. BFS-Prover-Q8_0.gguf +0 -3
BFS-Prover-Q3_K_L.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:bc2cdaee0bb85575194b793092413f00f719f8c13f7d36e08d804c91b9205e7f
3
- size 4088460224
 
 
 
 
BFS-Prover-Q3_K_S.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:13c0f3c41d5416752946acf8ee80604c37d8afb9e00326c5dc657e986f7a2e60
3
- size 3492369344
 
 
 
 
BFS-Prover-Q4_0.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:b65c9bf9c2c120918608036c40eb504d17654e5d5621f4e526ff0254c9b40ff0
3
- size 4431391680
 
 
 
 
BFS-Prover-Q4_K_M.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:557e8b77f51e21b55fa562a91163c113161eb6e3afe144c52c322d2b0b9e841c
3
- size 4683074496
 
 
 
 
BFS-Prover-Q4_K_S.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:0a84d064c9fa4435e78930b68d57c35558bd5471cbe91fc88f682d18f5833dcf
3
- size 4457769920
 
 
 
 
BFS-Prover-Q5_0.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:72a6c567984d1a24d93f3bd78debfa2e8b0b246f2fb61b777cadbc404050e29e
3
- size 5315177408
 
 
 
 
BFS-Prover-Q5_K_M.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:3c8312ee4e3ac916965dc5ddef407bbfdb3ec119fc61f5f8a48db1f965799881
3
- size 5444832192
 
 
 
 
BFS-Prover-Q5_K_S.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:3ccd08ad1f5e0538562daf6732ce874231d777888c9b32917d6ab5b955e56bbc
3
- size 5315177408
 
 
 
 
BFS-Prover-Q6_K.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:1dd809f6fd16abc101b2ea831330d0ce1f1e8db5473fb318e70f30fa48a7a607
3
- size 6254199744
 
 
 
 
BFS-Prover-Q8_0.gguf DELETED
@@ -1,3 +0,0 @@
1
- version https://git-lfs.github.com/spec/v1
2
- oid sha256:777ed32d2ab6f4418bb4f82eb70d32c83b3bc2ae0e18f6aabb25aedfb047bf85
3
- size 8098526144