qwen3-sft-feedback-with-proof-repair-rl-ready
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-ready
Tracked by OpenModelStats since September 8, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 480
- Total downloadsCumulative all-time download counter reported by the source platform.
- 480
- Gained 7DIncrease in cumulative total downloads between OpenModelStats' own observations seven days apart.
- 0
- 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. #12411 among tracked Text Generation models.
- #43,244
- 388(down 388 places)this week
- Parameters
- 308.2K
- Last source update
- Aug 30, 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.
- 4.4
- It moved from #12333 to #12411 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
qwen3-sft-feedback-with-proof-repair-rl-ready is a text generation model published by formalmathatepfl. OpenModelStats has tracked the model since Sep 8, 2026, most recently observing it Aug 31, 2026.
- Published
- Aug 30, 2026
- Last updated
- Aug 30, 2026
- Library
- transformers
- License
- other
- Task
- Text Generation
- Parameters
- 308,224
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- 0
transformerssafetensorsqwen3text-generationllama-factoryfullgenerated_from_trainerconversationalbase_model:formalmathatepfl/qwen3-sft-feedback-with-proof-repairbase_model:finetune:formalmathatepfl/qwen3-sft-feedback-with-proof-repairlicense:othertext-generation-inference
Publisher
formalmathatepflView publisher statistics →Derived from formalmathatepfl/qwen3-sft-feedback-with-proof-repair (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| qwen3-cptformalmathatepfl | 965 |
| Qwen3-8B-MaKTO-Public-SFTXDQAQ | 340 |
| Qwen3-8B-reas-int-065-only-loss-noprompt-3epochs-enferrazzipietro | 309 |
| Kimi-K2T-neulab-agenttuning-mind2web-sandboxes-maxeps-32klaion | 262 |
| glm46-code-feedback-maxeps-131klaion | 247 |
| glm-4_6-stackexchange-tezos-32ep-131klaion | 246 |