{"id":"7a87c7d5-5441-43ac-ad15-0b1163217626","slug":"hf-model-mradermacher-bfs-prover-v2-7b-i1-gguf-j66pe7-11","name":"BFS-Prover-V2-7B-i1-GGUF","description":"Hugging Face model mradermacher/BFS-Prover-V2-7B-i1-GGUF. Library: transformers. 708 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","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":42,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:28.094Z"}