{"id":"403145a1-15ae-476c-82c4-726208044b18","slug":"hf-model-richardyoung-bfs-prover-v2-32b-y758dg-u","name":"bfs-prover-v2-32b","description":"Hugging Face model richardyoung/bfs-prover-v2-32b. Task: text generation. Library: llama.cpp. 70 downloads.","capabilities":["llama.cpp","gguf","quantized","ollama","llama-cpp","qwen2.5","formal-verification","theorem-proving","lean4","mathematics","proof-generation","text-generation","en","base_model:ByteDance-Seed/BFS-Prover-V2-32B","base_model:quantized:ByteDance-Seed/BFS-Prover-V2-32B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:49.378Z"}