{"id":"38c0ca8b-d63e-45d8-b19d-387fdddc882f","slug":"hf-model-mradermacher-bfs-prover-v2-7b-gguf-nduw94-y","name":"BFS-Prover-V2-7B-GGUF","description":"Hugging Face model mradermacher/BFS-Prover-V2-7B-GGUF. Library: transformers. 1,006 downloads.","capabilities":["transformers","gguf","lean4","step-prover","en","base_model:ByteDance-Seed/BFS-Prover-V2-7B","base_model:quantized:ByteDance-Seed/BFS-Prover-V2-7B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":43,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:22.434Z"}