ainch96 AI Models
Tracked by OpenModelStats since Sep 14, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 1
- Downloads 30DSum of each tracked model's rolling recent-downloads counter. A sum of repository counters is not a count of unique users.
- 0
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 0
- Total likes
- 5
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 0
Most downloaded
- 1reprover-lean4-v1Sep 16, 20260
Recently updated
- 1reprover-lean4-v1Sep 16, 20260
All models
| Model | DL 30D | 7D |
|---|---|---|
| reprover-lean4-v1ainch96/reprover-lean4-v1 | 0 | +0 |