{"id":"0aa8bb0d-dd73-48ef-be44-16ea512b7825","slug":"hf-model-bytedance-seed-bfs-prover-v2-32b-1nh2p9u-w","name":"BFS-Prover-V2-32B","description":"Hugging Face model ByteDance-Seed/BFS-Prover-V2-32B. Task: text generation. 156 downloads. 13 likes.","capabilities":["safetensors","qwen2","lean4","step-prover","text-generation","arxiv:2509.06493","base_model:Qwen/Qwen2.5-32B","base_model:finetune:Qwen/Qwen2.5-32B","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":38,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:18.067Z"}