Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-V1-7B-GGUF
like
0
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
0fc5d3a
BFS-Prover-V1-7B-GGUF
37.9 GB
1 contributor
History:
11 commits
mradermacher
uploaded from marco
0fc5d3a
verified
about 1 month ago
.gitattributes
2.03 kB
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q2_K.gguf
3.02 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q3_K_L.gguf
4.09 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q3_K_M.gguf
3.81 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q3_K_S.gguf
3.49 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q4_K_M.gguf
4.68 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q4_K_S.gguf
4.46 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q6_K.gguf
6.25 GB
xet
uploaded from marco
about 1 month ago
BFS-Prover-V1-7B.Q8_0.gguf
8.1 GB
xet
uploaded from marco
about 1 month ago
README.md
2.97 kB
auto-patch README.md
about 1 month ago
