{"id":"ffe85f89-0bfd-455e-b313-0494942239ae","slug":"hf-model-mradermacher-bfs-prover-v2-32b-gguf-12rwdme-z","name":"BFS-Prover-V2-32B-GGUF","description":"Hugging Face model mradermacher/BFS-Prover-V2-32B-GGUF. Library: transformers. 501 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"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:36.067Z"}