qwen3.5-4b-agda-autoformalize-context-GGUF
astral-expmath/qwen3.5-4b-agda-autoformalize-context-GGUF
Tracked by OpenModelStats since September 25, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 0
- Total downloadsCumulative all-time download counter reported by the source platform.
- 0
- 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
- —
- Last source update
- Sep 25, 2026
Downloads over time
Daily gain between consecutive observationsLikes over time
Rank among tracked models
Lower is betterNot enough tracked history yet for a chart.
OpenModelStats began tracking this model on 2026-09-25. Charts appear as daily observations accumulate.
Overview
qwen3.5-4b-agda-autoformalize-context-GGUF is a text generation model published by astral-expmath. OpenModelStats has tracked the model since Sep 25, 2026, most recently observing it Sep 26, 2026.
- Published
- Sep 24, 2026
- Last updated
- Sep 25, 2026
- Library
- gguf
- License
- apache-2.0
- Task
- Text Generation
- Parameters
- —
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
ggufagdaautoformalizationformal-mathematicstheorem-provingllama.cpptext-generationenbase_model:Qwen/Qwen3.5-4Bbase_model:quantized:Qwen/Qwen3.5-4Blicense:apache-2.0endpoints_compatible
Publisher
astral-expmathView publisher statistics →Derived from Qwen/Qwen3.5-4B (reported by the source; parent not yet tracked).
Similar models
| Model | DL 30D |
|---|---|
| Qwen3-0.6BQwen | 31.2M |
| gpt2openai-community | 15.5M |
| Qwen3-8BQwen | 10.1M |
| Qwen3-4BQwen | 9.6M |
| Qwen2.5-7B-InstructQwen | 8.1M |
| Qwen2.5-0.5B-InstructQwen | 8M |