Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
tensorblock
/
BFS-Prover-GGUF
like
0
Follow
TensorBlock
295
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
main
BFS-Prover-GGUF
/
BFS-Prover-Q5_0.gguf
Commit History
Keep Q2_K/Q3_K_M gguf only
d800522
verified
morriszms
commited on
Jan 27
Upload folder using huggingface_hub
f260e55
verified
morriszms
commited on
Mar 6, 2025