Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-V1-7B-i1-GGUF
like
0
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
imatrix
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
fd0a4e4
BFS-Prover-V1-7B-i1-GGUF
14.9 GB
1 contributor
History:
7 commits
mradermacher
uploaded from marco
fd0a4e4
verified
about 2 months ago
.gitattributes
1.85 kB
uploaded from marco
about 2 months ago
BFS-Prover-V1-7B.i1-IQ3_M.gguf
3.57 GB
xet
uploaded from marco
about 2 months ago
BFS-Prover-V1-7B.i1-Q2_K.gguf
3.02 GB
xet
uploaded from marco
about 2 months ago
BFS-Prover-V1-7B.i1-Q3_K_M.gguf
3.81 GB
xet
uploaded from marco
about 2 months ago
BFS-Prover-V1-7B.i1-Q4_K_S.gguf
4.46 GB
xet
uploaded from marco
about 2 months ago
BFS-Prover-V1-7B.imatrix.gguf
4.56 MB
xet
uploaded from marco
about 2 months ago
README.md
Safe
477 Bytes
uploaded from marco
about 2 months ago
