tensorblock
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Model card Files Files and versions

BFS-Prover-GGUF

58.4 GB

1 contributor

History: 5 commits

morriszms's picture

Update README.md

c92d8c3 verified 6 months ago

.gitattributes

2.22 kB

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q2_K.gguf

3.02 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q3_K_L.gguf

4.09 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q3_K_M.gguf

3.81 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q3_K_S.gguf

3.49 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q4_0.gguf

4.43 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q4_K_M.gguf

4.68 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q4_K_S.gguf

4.46 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q5_0.gguf

5.32 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q5_K_M.gguf

5.44 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q5_K_S.gguf

5.32 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q6_K.gguf

6.25 GB
xet

Upload folder using huggingface_hub 10 months ago
BFS-Prover-Q8_0.gguf

8.1 GB
xet

Upload folder using huggingface_hub 10 months ago
README.md

6.51 kB

Update README.md 6 months ago