BFS-Prover-V1-7B-i1-GGUF
mradermacher/BFS-Prover-V1-7B-i1-GGUF
transformersLicense: apache-2.0
Tracked by OpenModelStats since September 20, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 1,625
- Total downloadsCumulative all-time download counter reported by the source platform.
- 8,442
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +246(increase)
- 3.3%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 0
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- #27,506
- 110(down 110 places)this week
- Parameters
- —
- Last source update
- Dec 10, 2025
- MomentumOpenModelStats' composite rising-model signal (0–100): a percentile blend of absolute 7-day download gains, capped percentage growth, and likes gained. See Methodology.
- 46.4
- BFS-Prover-V1-7B-i1-GGUF gained 246 downloads during the last seven tracked days.
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterOverview
BFS-Prover-V1-7B-i1-GGUF is an AI model published by mradermacher. OpenModelStats has tracked the model since Sep 20, 2026, most recently observing it Oct 10, 2026.
- Published
- Oct 15, 2025
- Last updated
- Dec 10, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- —
- Parameters
- —
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 35
transformersgguflean4theorem-provingformal-mathematicsendataset:internlm/Lean-Workbookdataset:internlm/Lean-Githubdataset:AI-MO/NuminaMath-CoTbase_model:ByteDance-Seed/BFS-Prover-V1-7Bbase_model:quantized:ByteDance-Seed/BFS-Prover-V1-7Blicense:apache-2.0
Publisher
mradermacherView publisher statistics →Derived from ByteDance-Seed/BFS-Prover-V1-7B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| all-MiniLM-L6-v2sentence-transformers | 207M |
| ms-marco-MiniLM-L6-v2cross-encoder | 76.1M |
| bge-small-en-v1.5BAAI | 57.5M |
| paraphrase-multilingual-MiniLM-L12-v2sentence-transformers | 44.4M |
| electra-base-discriminatorgoogle | 41.9M |
| bge-m3BAAI | 31.5M |