Pythagoras-Prover-4B-GGUF
tinyopsec/Pythagoras-Prover-4B-GGUF
Tracked by OpenModelStats since September 13, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 2,457
- Total downloadsCumulative all-time download counter reported by the source platform.
- 2,457
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +223(increase)
- 11.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.
- 1
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #4915 among tracked Text Generation models.
- #18,641
- 118(down 118 places)this week
- Parameters
- —
- Last source update
- Sep 13, 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.
- 50.0
- Pythagoras-Prover-4B-GGUF gained 223 downloads during the last seven tracked days.
- It moved from #4916 to #4915 among tracked Text Generation models this week.
Downloads over time
Rolling recent-window downloads as reportedLikes over time
Rank among tracked models
Lower is betterOverview
Pythagoras-Prover-4B-GGUF is a text generation model published by tinyopsec. OpenModelStats has tracked the model since Sep 13, 2026, most recently observing it Oct 6, 2026.
- Published
- Sep 13, 2026
- Last updated
- Sep 13, 2026
- Library
- llama-cpp
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- —
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 32
llama-cppggufquantizedmathreasoningtheorem-provingtext-generationenbase_model:Pythagoras-LM/Pythagoras-Prover-4Bbase_model:quantized:Pythagoras-LM/Pythagoras-Prover-4Blicense:apache-2.0endpoints_compatible
Publisher
tinyopsecView publisher statistics →Derived from Pythagoras-LM/Pythagoras-Prover-4B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-0.6BQwen | 30.8M |
| gpt2openai-community | 15.2M |
| Qwen3-8BQwen | 10.2M |
| Qwen2.5-0.5B-InstructQwen | 8.4M |
| tiny-Qwen2ForCausalLM-2.5trl-internal-testing | 8.3M |
| Qwen2.5-7B-InstructQwen | 8.2M |