Gobble-Prover-1.7B
anonymous-submission-ICLR2027/Gobble-Prover-1.7B
Tracked by OpenModelStats since September 19, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 274
- Total downloadsCumulative all-time download counter reported by the source platform.
- 274
- 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.
- 0
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads.
- —
- –this week
- Parameters
- 2B
- Last source update
- Sep 18, 2026
Downloads over time
Rolling recent-window downloads as reportedLikes over time
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-09-19. Charts appear as daily observations accumulate.
Overview
Gobble-Prover-1.7B is a text generation model published by anonymous-submission-ICLR2027. OpenModelStats has tracked the model since Sep 19, 2026, most recently observing it Sep 20, 2026.
- Published
- Sep 18, 2026
- Last updated
- Sep 18, 2026
- Library
- transformers
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- 2,031,739,904
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
transformerssafetensorsqwen3text-generationlean4theorem-provingconversationalenbase_model:AI-MO/Kimina-Prover-Distill-1.7Bbase_model:finetune:AI-MO/Kimina-Prover-Distill-1.7Blicense:apache-2.0text-generation-inference
Publisher
anonymous-submission-ICLR2027View publisher statistics →Derived from AI-MO/Kimina-Prover-Distill-1.7B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-1.7BQwen | 3.6M |
| Qwen3-1.7BPrimeIntellect | 122.6K |
| TopologicalQwenreaperdoesntknow | 4,908 |
| SDAR-1.7B-ChatJetLM | 4,885 |
| Qwen3-1.7B-Thinking-Distilreaperdoesntknow | 4,194 |
| Qwen3-1.7B-Distilled-30B-A3Breaperdoesntknow | 4,084 |