Pythagoras-Prover-4B
Pythagoras-LM/Pythagoras-Prover-4B
Tracked by OpenModelStats since August 24, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 1,534
- Total downloadsCumulative all-time download counter reported by the source platform.
- 2,652
- 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.
- 5
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #5594 among tracked Text Generation models.
- #20,338
- –this week
- Parameters
- 4.4B
- Last source update
- Jul 23, 2026
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
Pythagoras-Prover-4B is a text generation model published by Pythagoras-LM. OpenModelStats has tracked the model since Aug 24, 2026, most recently observing it 2h ago.
- Published
- Jun 7, 2026
- Last updated
- Jul 23, 2026
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 4,411,424,256
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsqwen3text-generationconversationaldataset:Pythagoras-LM/SFT_Datasetdataset:Pythagoras-LM/SFT_Dataset_Distillation_4Barxiv:2606.12594base_model:Qwen/Qwen3-4Bbase_model:finetune:Qwen/Qwen3-4Blicense:apache-2.0text-generation-inference
Publisher
Pythagoras-LMView publisher statistics →Derived from Qwen/Qwen3-4B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3Guard-Gen-4BQwen | 429.8K |
| Qwen3-4B-FP8furiosa-ai | 2,043 |
| Agents-K1InternScience | 1,557 |
| MedPsy-4Bqvac | 1,508 |
| Qwen3-4B-Instruct-2507-AWQ-W4A16a-ivanovitch | 1,109 |
| prose-rewriter-4b-v1.2chartreuse-verte | 909 |