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
Train
Deploy
Use this model
main
BFS-Prover-V2-32B-i1-GGUF
/
BFS-Prover-V2-32B.i1-Q4_0.gguf
Commit History
uploaded from marco
7d998bc
verified
mradermacher
commited on
Oct 1
