OProver-32B
m-a-p/OProver-32B
Tracked by OpenModelStats since September 25, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 101
- Total downloadsCumulative all-time download counter reported by the source platform.
- 1,492
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- 0
- 0% vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 4
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- —
- –this week
- Parameters
- 32.8B
- Last source update
- May 19, 2026
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-09-25. Charts appear as daily observations accumulate.
Overview
OProver-32B is a text generation model published by m-a-p. OpenModelStats has tracked the model since Sep 25, 2026, most recently observing it Sep 4, 2026.
- Published
- May 15, 2026
- Last updated
- May 19, 2026
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 32,762,123,264
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 0
transformerssafetensorsqwen3text-generationlean4theorem-provingformal-mathematicsagenticretrieval-augmentedconversationalendataset:m-a-p/OProofs
Publisher
m-a-pView publisher statistics →Similar models
| Model | DL 30D |
|---|---|
| Qwen3-32BQwen | 4M |
| Qwen3-32B-AWQQwen | 1M |
| Qwen3-32B-MLX-4bitlmstudio-community | 49.3K |
| Qwen3-32B-MLX-8bitlmstudio-community | 48.9K |
| Qwen3-Swallow-32B-RL-v0.2tokyotech-llm | 8,054 |
| KAT-Dev-MLX-8bitlmstudio-community | 7,730 |