Pythagoras-Prover-4B
Pythagoras-LM/Pythagoras-Prover-4B
Tracked by OpenModelStats since October 3, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 821
- Total downloadsCumulative all-time download counter reported by the source platform.
- 4,567
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +230(increase)
- 6.0%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 8
- +2 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #9777 among tracked Text Generation models.
- #36,259
- 1012(up 1012 places)this week
- Parameters
- 4.4B
- Last source update
- Jul 23, 2026
- MomentumOpenModelStats' composite rising-model signal (0–100): a percentile blend of absolute 7-day download gains, capped percentage growth, and likes gained. See Methodology.
- 70.6
- Pythagoras-Prover-4B gained 230 downloads during the last seven tracked days.
- It moved from #10136 to #9777 among tracked Text Generation models this week.
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterOverview
Pythagoras-Prover-4B is a text generation model published by Pythagoras-LM. OpenModelStats has tracked the model since Oct 3, 2026, most recently observing it Oct 9, 2026.
- Published
- Jun 7, 2026
- Last updated
- Jul 23, 2026
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 4,411,424,256
- Spaces
- 0
- Derivative models
- —
- Velocity 7D/day
- 33
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
Model family
Based on base-model relationships reported by the source's metadata.
Base model
- Qwen3-4B9.6M
Sibling models
- zerank-2-reranker636.7K
- Qwen3-4B-GGUF543.3K
- Qwen3-4B-GGUF465.6K
- Parable-Qwen3-4B-Claude-Fable-5-GGUF268.4K
- Qwen3-4B-AWQ229.3K
- Qwen3-4B-GGUF226.1K
- Qwen3-4B188.3K
- loras153.4K
Similar models
| Model | DL 30D |
|---|---|
| Qwen3Guard-Gen-4BQwen | 63.2K |
| Qwen3-4B-FP8furiosa-ai | 4,833 |
| cobalt-seeded-rl-base-ramp25-stoppen-gen4k-ep2-ncp5-q4v3-iid16agurung | 4,347 |
| cobalt-seeded-rl-base-ramp25-stoppen-gen4k-ep2-ncp5-q4v3-groot16agurung | 4,296 |
| cobalt-seeded-rl-base-ramp25-stoppen-gen4k-ep2-ncp10-q4v3-groot16agurung | 4,214 |
| cobalt-seeded-rl-base-ramp25-stoppen-gen4k-ep2-ncp5-q4v2-vs16agurung | 3,945 |