Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
tensorblock
/
BFS-Prover-GGUF
like
0
Follow
TensorBlock
126
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
Community
Train
Deploy
Use this model
main
BFS-Prover-GGUF
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
morriszms
Update README.md
c3ca647
verified
9 days ago
.gitattributes
Safe
2.22 kB
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q2_K.gguf
Safe
3.02 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q3_K_L.gguf
Safe
4.09 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q3_K_M.gguf
Safe
3.81 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q3_K_S.gguf
Safe
3.49 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q4_0.gguf
Safe
4.43 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q4_K_M.gguf
Safe
4.68 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q4_K_S.gguf
Safe
4.46 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q5_0.gguf
Safe
5.32 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q5_K_M.gguf
Safe
5.44 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q5_K_S.gguf
Safe
5.32 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q6_K.gguf
Safe
6.25 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
BFS-Prover-Q8_0.gguf
Safe
8.1 GB
LFS
Upload folder using huggingface_hub
about 2 months ago
README.md
5.63 kB
Update README.md
9 days ago
