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
/
BFS-Prover-V2-32B.i1-IQ2_XS.gguf
Commit History
uploaded from marco
26072d7
verified
mradermacher
commited on
Oct 1
