BFS-Prover-V2-7B
ByteDance-Seed/BFS-Prover-V2-7B
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 1,910
- Total downloadsCumulative all-time download counter reported by the source platform.
- 6,015
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- —
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 7
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #5001 among tracked Text Generation models.
- #18,280
- –this week
- Parameters
- 7.6B
- Last source update
- Oct 9, 2025
Downloads over time
Daily gain between consecutive observationsNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Likes over time
Not enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-08-24. Charts appear as daily observations accumulate.
Overview
BFS-Prover-V2-7B is a text generation model published by ByteDance-Seed. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 3h ago.
- Published
- Oct 6, 2025
- Last updated
- Oct 9, 2025
- Library
- —
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 7,615,616,512
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsqwen2lean4step-provertext-generationconversationalarxiv:2509.06493base_model:Qwen/Qwen2.5-Math-7Bbase_model:finetune:Qwen/Qwen2.5-Math-7Blicense:apache-2.0region:us
Publisher
ByteDance-SeedView publisher statistics →Derived from Qwen/Qwen2.5-Math-7B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen2.5-7B-InstructQwen | 11.5M |
| Qwen2.5-7B-Instruct-AWQQwen | 4.2M |
| Qwen2.5-Coder-7B-InstructQwen | 2.4M |
| Qwen2.5-Coder-7B-Instruct-AWQOrion-zhen | 603.3K |
| Qwen2.5-Coder-7BQwen | 595.3K |
| Qwen2.5-7BQwen | 585.7K |