{"id":"a82e8fea-6aa8-46d2-8bde-dafc3d3ec0f8","slug":"hf-model-bytedance-seed-bfs-prover-v1-7b-1udi9ur-v","name":"BFS-Prover-V1-7B","description":"Hugging Face model ByteDance-Seed/BFS-Prover-V1-7B. Task: text generation. Library: transformers. 209 downloads. 26 likes.","capabilities":["transformers","safetensors","qwen2","text-generation","lean4","theorem-proving","formal-mathematics","conversational","en","dataset:internlm/Lean-Workbook","dataset:internlm/Lean-Github","dataset:AI-MO/NuminaMath-CoT","arxiv:2502.03438","base_model:Qwen/Qwen2.5-Math-7B","base_model:finetune:Qwen/Qwen2.5-Math-7B","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:08.165Z"}