Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
mradermacher
/
BFS-Prover-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
Community
Train
Deploy
Use this model
main
BFS-Prover-GGUF
1 contributor
History:
16 commits
mradermacher
auto-patch README.md
3febc13
verified
about 1 month ago
.gitattributes
Safe
2.22 kB
uploaded from rich1
about 1 month ago
BFS-Prover.IQ4_XS.gguf
4.25 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q2_K.gguf
3.02 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q3_K_L.gguf
4.09 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q3_K_M.gguf
3.81 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q3_K_S.gguf
3.49 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q4_K_M.gguf
4.68 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q4_K_S.gguf
4.46 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q5_K_M.gguf
5.44 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q5_K_S.gguf
5.32 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q6_K.gguf
6.25 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.Q8_0.gguf
8.1 GB
LFS
uploaded from rich1
about 1 month ago
BFS-Prover.f16.gguf
15.2 GB
LFS
uploaded from rich1
about 1 month ago
README.md
Safe
3.32 kB
auto-patch README.md
about 1 month ago
