QuantFactory
/

BFS-Prover-GGUF

Text Generation

theorem-proving

formal-mathematics

Inference Endpoints

Model card Files Files and versions Community

BFS-Prover-GGUF

1 contributor

History: 16 commits

aashish1904's picture

Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub

f5a3bc6 verified 9 days ago

.gitattributes

2.33 kB

Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub 9 days ago
BFS-Prover.Q2_K.gguf

3.02 GB
LFS

Upload BFS-Prover.Q2_K.gguf with huggingface_hub 9 days ago
BFS-Prover.Q3_K_L.gguf

4.09 GB
LFS

Upload BFS-Prover.Q3_K_L.gguf with huggingface_hub 9 days ago
BFS-Prover.Q3_K_M.gguf

3.81 GB
LFS

Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub 9 days ago
BFS-Prover.Q3_K_S.gguf

3.49 GB
LFS

Upload BFS-Prover.Q3_K_S.gguf with huggingface_hub 9 days ago
BFS-Prover.Q4_0.gguf

4.43 GB
LFS

Upload BFS-Prover.Q4_0.gguf with huggingface_hub 9 days ago
BFS-Prover.Q4_1.gguf

4.87 GB
LFS

Upload BFS-Prover.Q4_1.gguf with huggingface_hub 9 days ago
BFS-Prover.Q4_K_M.gguf

4.68 GB
LFS

Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub 9 days ago
BFS-Prover.Q4_K_S.gguf

4.46 GB
LFS

Upload BFS-Prover.Q4_K_S.gguf with huggingface_hub 9 days ago
BFS-Prover.Q5_0.gguf

5.32 GB
LFS

Upload BFS-Prover.Q5_0.gguf with huggingface_hub 9 days ago
BFS-Prover.Q5_1.gguf

5.76 GB
LFS

Upload BFS-Prover.Q5_1.gguf with huggingface_hub 9 days ago
BFS-Prover.Q5_K_M.gguf

5.44 GB
LFS

Upload BFS-Prover.Q5_K_M.gguf with huggingface_hub 9 days ago
BFS-Prover.Q5_K_S.gguf

5.32 GB
LFS

Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub 9 days ago
BFS-Prover.Q6_K.gguf

6.25 GB
LFS

Upload BFS-Prover.Q6_K.gguf with huggingface_hub 9 days ago
BFS-Prover.Q8_0.gguf

8.1 GB
LFS

Upload BFS-Prover.Q8_0.gguf with huggingface_hub 9 days ago
README.md

4.93 kB

Upload README.md with huggingface_hub 9 days ago