Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-V2-32B-i1-GGUF
like
0
Transformers
GGUF
English
lean4
step-prover
imatrix
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
7192452
BFS-Prover-V2-32B-i1-GGUF
253 GB
1 contributor
History:
24 commits
mradermacher
uploaded from marco
7192452
verified
about 1 month ago
.gitattributes
2.75 kB
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ1_M.gguf
7.93 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ2_M.gguf
11.3 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ2_S.gguf
10.4 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ2_XS.gguf
9.96 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ2_XXS.gguf
9.03 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ3_M.gguf
14.8 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ3_XXS.gguf
12.8 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-IQ4_XS.gguf
17.7 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q2_K.gguf
12.3 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q2_K_S.gguf
11.5 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q3_K_L.gguf
17.2 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q3_K_M.gguf
15.9 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q3_K_S.gguf
14.4 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q4_K_M.gguf
19.9 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q4_K_S.gguf
18.8 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q5_K_S.gguf
22.6 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.i1-Q6_K.gguf
26.9 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V2-32B.imatrix.gguf
15 MB
xet
uploaded from marco
about 1 month ago
README.md
4.89 kB
auto-patch README.md
about 1 month ago