Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
QuantFactory
/
BFS-Prover-GGUF
like
1
Follow
Quant Factory
764
Text Generation
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
conversational
arxiv:
2502.03438
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
5c8997c
BFS-Prover-GGUF
61.1 GB
Ctrl+K
Ctrl+K
1 contributor
History:
14 commits
aashish1904
Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub
5c8997c
verified
about 1 year ago
.gitattributes
2.21 kB
Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q2_K.gguf
3.02 GB
xet
Upload BFS-Prover.Q2_K.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q3_K_L.gguf
4.09 GB
xet
Upload BFS-Prover.Q3_K_L.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q3_K_M.gguf
3.81 GB
xet
Upload BFS-Prover.Q3_K_M.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q4_0.gguf
Safe
4.43 GB
xet
Upload BFS-Prover.Q4_0.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q4_1.gguf
Safe
4.87 GB
xet
Upload BFS-Prover.Q4_1.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q4_K_M.gguf
Safe
4.68 GB
xet
Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q5_0.gguf
5.32 GB
xet
Upload BFS-Prover.Q5_0.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q5_1.gguf
5.76 GB
xet
Upload BFS-Prover.Q5_1.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q5_K_M.gguf
Safe
5.44 GB
xet
Upload BFS-Prover.Q5_K_M.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q5_K_S.gguf
5.32 GB
xet
Upload BFS-Prover.Q5_K_S.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q6_K.gguf
Safe
6.25 GB
xet
Upload BFS-Prover.Q6_K.gguf with huggingface_hub
about 1 year ago
BFS-Prover.Q8_0.gguf
Safe
8.1 GB
xet
Upload BFS-Prover.Q8_0.gguf with huggingface_hub
about 1 year ago
README.md
Safe
4.93 kB
Upload README.md with huggingface_hub
about 1 year ago
