proof-system-comparison-llama-suppes-lemmon-v2
SalehAfroogh/proof-system-comparison-llama-suppes-lemmon-v2
8B parameters
Tracked by OpenModelStats since September 19, 2026View on Hugging Face ↗
- Downloads 30DRolling recent-window download count as reported by the source platform.
- 14
- Total downloadsCumulative all-time download counter reported by the source platform.
- 14
- 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
- 8B
- 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
proof-system-comparison-llama-suppes-lemmon-v2 is an AI model published by SalehAfroogh. 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
- —
- License
- —
- Task
- —
- Parameters
- 8,030,261,248
- Spaces
- —
- Derivative models
- —
- Velocity 7D/day
- —
safetensorsllamaregion:us
Similar models
| Model | DL 30D |
|---|---|
| Llama-3.1-8B-Instructmeta-llama | 5.8M |
| Llama-3.1-8Bmeta-llama | 671.6K |
| Meta-Llama-3-8B-Instructmeta-llama | 582.6K |
| Hermes-3-Llama-3.1-8BNousResearch | 505.5K |
| saiga_llama3_8bIlyaGusev | 399.8K |
| Meta-Llama-3.1-8B-Instructunsloth | 195.3K |