qwen3-sft-feedback-with-proof-repair-rl-200-unmasked
formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl-200-unmasked
8.2B parameters
Tracked by OpenModelStats since September 23, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 61
- Total downloadsCumulative all-time download counter reported by the source platform.
- 61
- 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
- 8.2B
- Last source update
- Sep 24, 2026
Downloads over time
Cumulative total downloads observed by OpenModelStatsLikes over time
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-09-23. Charts appear as daily observations accumulate.
Overview
qwen3-sft-feedback-with-proof-repair-rl-200-unmasked is an AI model published by formalmathatepfl. OpenModelStats has tracked the model since Sep 23, 2026, most recently observing it Sep 24, 2026.
- Published
- Sep 23, 2026
- Last updated
- Sep 24, 2026
- Library
- —
- License
- —
- Task
- —
- Parameters
- 8,190,735,360
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsqwen3region:us
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-8BQwen | 10.1M |
| Qwen3-8B-AWQQwen | 2.3M |
| Qwen3-8B-BaseQwen | 778.5K |
| DeepSeek-R1-0528-Qwen3-8Bdeepseek-ai | 660.5K |
| DeepSeek-R1-0528-Qwen3-8B-MLX-4bitlmstudio-community | 254.2K |
| DeepSeek-R1-0528-Qwen3-8B-MLX-8bitlmstudio-community | 232.7K |