Goedel-Prover-V2-32B
Goedel-LM/Goedel-Prover-V2-32B
Tracked by OpenModelStats since September 6, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 4,880
- Total downloadsCumulative all-time download counter reported by the source platform.
- 315.5K
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +578(increase)
- 0.2%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 74
- +1 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #3021 among tracked Text Generation models.
- #11,745
- 191(down 191 places)this week
- Parameters
- 32.8B
- Last source update
- Aug 27, 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.
- 65.5
- Goedel-Prover-V2-32B gained 578 downloads during the last seven tracked days.
- It moved from #2966 to #3021 among tracked Text Generation models this week.
Downloads over time
Daily gain between consecutive observationsLikes over time
Rank among tracked models
Lower is betterOverview
Goedel-Prover-V2-32B is a text generation model published by Goedel-LM. OpenModelStats has tracked the model since Sep 6, 2026, most recently observing it Oct 5, 2026.
- Published
- Jul 14, 2025
- Last updated
- Aug 27, 2025
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 32,762,123,264
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 83
transformerssafetensorsqwen3text-generationconversationalarxiv:2508.03613base_model:Qwen/Qwen3-32Bbase_model:finetune:Qwen/Qwen3-32Blicense:apache-2.0text-generation-inferenceendpoints_compatibleregion:us
Publisher
Goedel-LMView publisher statistics →Derived from Qwen/Qwen3-32B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-32BQwen | 3.7M |
| Qwen3-32B-AWQQwen | 1M |
| Qwen3-32B-MLX-4bitlmstudio-community | 48.7K |
| Qwen3-32B-MLX-8bitlmstudio-community | 48.3K |
| KAT-Dev-MLX-8bitlmstudio-community | 8,126 |
| Qwen3-Swallow-32B-RL-v0.2tokyotech-llm | 5,885 |