{"id":"07308f1c-fa24-43d9-a21d-3a7e97083847","slug":"hf-model-bytedance-seed-bfs-prover-v2-7b-1udj1l0-v","name":"BFS-Prover-V2-7B","description":"Hugging Face model ByteDance-Seed/BFS-Prover-V2-7B. Task: text generation. 484 downloads. 7 likes.","capabilities":["safetensors","qwen2","lean4","step-prover","text-generation","conversational","arxiv:2509.06493","base_model:Qwen/Qwen2.5-Math-7B","base_model:finetune:Qwen/Qwen2.5-Math-7B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:37.041Z"}