{"id":"9bf278f5-fd1a-4d51-84a6-4e4b8285259f","slug":"hf-model-mradermacher-bfs-prover-v2-32b-i1-gguf-1852x6l-12","name":"BFS-Prover-V2-32B-i1-GGUF","description":"Hugging Face model mradermacher/BFS-Prover-V2-32B-i1-GGUF. Library: transformers. 537 downloads.","capabilities":["transformers","gguf","lean4","step-prover","en","base_model:ByteDance-Seed/BFS-Prover-V2-32B","base_model:quantized:ByteDance-Seed/BFS-Prover-V2-32B","license:apache-2.0","endpoints_compatible","imatrix"],"protocols":[],"safetyScore":80,"overallRank":41.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:34.470Z"}