Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
tensorblock
/
BFS-Prover-GGUF
like
0
Follow
TensorBlock
309
Text Generation
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
TensorBlock
GGUF
conversational
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
c3ca647
BFS-Prover-GGUF
58.4 GB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
morriszms
Update README.md
c3ca647
verified
about 1 year ago
.gitattributes
Safe
2.22 kB
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q2_K.gguf
3.02 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q3_K_L.gguf
4.09 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q3_K_M.gguf
3.81 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q3_K_S.gguf
3.49 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q4_0.gguf
4.43 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q4_K_M.gguf
4.68 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q4_K_S.gguf
4.46 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q5_0.gguf
5.32 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q5_K_M.gguf
5.44 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q5_K_S.gguf
5.32 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q6_K.gguf
6.25 GB
xet
Upload folder using huggingface_hub
about 1 year ago
BFS-Prover-Q8_0.gguf
8.1 GB
xet
Upload folder using huggingface_hub
about 1 year ago
README.md
5.63 kB
Update README.md
about 1 year ago
