MathForm-8B
openbmb/MathForm-8B
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 637
- Total downloadsCumulative all-time download counter reported by the source platform.
- 637
- 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. #7419 among tracked Text Generation models.
- #26,826
- 24212(down 24212 places)this week
- Parameters
- 8.2B
- Last source update
- Aug 17, 2026
- It moved from #863 to #7419 among tracked Text Generation models this week.
Downloads over time
Cumulative total downloads observed by OpenModelStatsNot 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
MathForm-8B is a text generation model published by openbmb. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 4h ago.
- Published
- Aug 14, 2026
- Last updated
- Aug 17, 2026
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 8,190,735,360
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsqwen3text-generationarxiv:2608.14221lean4autoformalizationmathematicsformal-verificationreasoningconversationalen
Publisher
openbmbView publisher statistics →Derived from Qwen/Qwen3-8B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-8BQwen | 14.7M |
| Qwen3-8B-AWQQwen | 1.7M |
| DeepSeek-R1-0528-Qwen3-8Bdeepseek-ai | 1.1M |
| Qwen3-8B-FP8nvidia | 468.4K |
| Qwen3-8B-BaseQwen | 417.4K |
| Qwen3-8Bunsloth | 121.7K |