Hugging Face's logo

richardyoung
/
bfs-prover-v2-32b

Text Generation
GGUF
English
llama.cpp
quantized
ollama
llama-cpp
qwen2.5
formal-verification
theorem-proving
lean4
mathematics
proof-generation
Model card Files
xet
Community
bfs-prover-v2-32b
70 GB
  • 1 contributor
 History: 6 commits
richardyoung's picture
richardyoung
Upload BFS-Prover-V2-32B-Q6_K.gguf with huggingface_hub
96458e6 verified