{"id":"7d6ddf7a-b05a-4235-b3b9-b888f1471c73","slug":"hf-model-artusdev-bytedance-seed-bfs-prover-v2-7b-exl3-uwfv7e-19","name":"ByteDance-Seed_BFS-Prover-V2-7B-EXL3","description":"Hugging Face model ArtusDev/ByteDance-Seed_BFS-Prover-V2-7B-EXL3. Task: text generation. 22 downloads.","capabilities":["lean4","step-prover","exl3","text-generation","base_model:ByteDance-Seed/BFS-Prover-V2-7B","base_model:quantized:ByteDance-Seed/BFS-Prover-V2-7B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:29.294Z"}