Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
QuantFactory
/
BFS-Prover-GGUF
like
1
Follow
Quant Factory
672
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
64d526f
BFS-Prover-GGUF
22.1 GB
1 contributor
History:
6 commits
aashish1904
Upload BFS-Prover.Q8_0.gguf with huggingface_hub
64d526f
verified
10 months ago
.gitattributes
1.75 kB
Upload BFS-Prover.Q8_0.gguf with huggingface_hub
10 months ago
BFS-Prover.Q4_0.gguf
4.43 GB
xet
Upload BFS-Prover.Q4_0.gguf with huggingface_hub
10 months ago
BFS-Prover.Q4_1.gguf
4.87 GB
xet
Upload BFS-Prover.Q4_1.gguf with huggingface_hub
10 months ago
BFS-Prover.Q4_K_M.gguf
4.68 GB
xet
Upload BFS-Prover.Q4_K_M.gguf with huggingface_hub
10 months ago
BFS-Prover.Q8_0.gguf
8.1 GB
xet
Upload BFS-Prover.Q8_0.gguf with huggingface_hub
10 months ago
README.md
Safe
4.93 kB
Upload README.md with huggingface_hub
10 months ago
