Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
tensorblock
/
BFS-Prover-GGUF
like
0
Follow
TensorBlock
95
Text Generation
Transformers
GGUF
internlm/Lean-Workbook
internlm/Lean-Github
AI-MO/NuminaMath-CoT
English
lean4
theorem-proving
formal-mathematics
TensorBlock
GGUF
Inference Endpoints
conversational
License:
apache-2.0
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
main
BFS-Prover-GGUF
/
BFS-Prover-Q5_0.gguf
Commit History
Upload folder using huggingface_hub
f260e55
verified
morriszms
commited on
4 days ago
morriszms
commited on
