Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
QuantFactory
/
BFS-Prover-GGUF
like
1
Follow
Quant Factory
691
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
main
BFS-Prover-GGUF
/
README.md
Commit History
Upload README.md with huggingface_hub
34209fb
verified
aashish1904
commited on
Mar 4, 2025
aashish1904
commited on
