lm-provers AI Models
Tracked by OpenModelStats since Aug 23, 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.
- 378
- Total downloadsSum of cumulative all-time download counters across tracked repositories.
- 27.2K
- Total likes
- 89
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 56
Most downloaded
- 1QED-NanoMar 23, 2026366
Fastest growing
- 1QED-Nano+56 in 7D366
Recently updated
- 1QED-NanoMar 23, 2026366