qwen3-sft-feedback-with-proof-repair-rl
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl
Tracked by OpenModelStats since September 3, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 2,019
- Total downloadsCumulative all-time download counter reported by the source platform.
- 2,019
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- +735(increase)
- 61.9%(up) vs baseline
- Gained 30DIncrease in cumulative total downloads between OpenModelStats' own observations roughly thirty days apart.
- —
- LikesCommunity likes reported by the source platform.
- 0
- +0 in 7D
- Rank · tracked modelsPosition among all eligible models tracked by OpenModelStats, ordered by recent downloads. #5777 among tracked Text Generation models.
- #21,750
- 196(down 196 places)this week
- Parameters
- 8.2B
- Last source update
- Sep 3, 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.
- 62.7
- qwen3-sft-feedback-with-proof-repair-rl gained 735 downloads during the last seven tracked days.
- It moved from #5737 to #5777 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
qwen3-sft-feedback-with-proof-repair-rl is a text generation model published by formalmathatepfl. OpenModelStats has tracked the model since Sep 3, 2026, most recently observing it Oct 3, 2026.
- Published
- Sep 3, 2026
- Last updated
- Sep 3, 2026
- Library
- transformers
- License
- other
- Task
- Text Generation
- Parameters
- 8,190,735,360
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 105
transformerssafetensorsqwen3text-generationllama-factoryfullgenerated_from_trainerconversationalbase_model:Qwen/Qwen3-8B-Basebase_model:finetune:Qwen/Qwen3-8B-Baselicense:othertext-generation-inference
Publisher
formalmathatepflView publisher statistics →Derived from Qwen/Qwen3-8B-Base (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-8BQwen | 10.2M |
| Qwen3-8B-AWQQwen | 2.3M |
| Qwen3-8B-BaseQwen | 758.2K |
| DeepSeek-R1-0528-Qwen3-8Bdeepseek-ai | 677.1K |
| DeepSeek-R1-0528-Qwen3-8B-MLX-4bitlmstudio-community | 261.1K |
| DeepSeek-R1-0528-Qwen3-8B-MLX-8bitlmstudio-community | 240.3K |