KamilloP AI Models
Tracked by OpenModelStats since Sep 16, 2026 · View on Hugging Face ↗
- Tracked modelsRepositories from this publisher currently tracked by OpenModelStats.
- 2
- 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
- 0
- Gained 7DCombined seven-day cumulative-download gains measured by OpenModelStats.
- 0
Most downloaded
- 1transformer-Coq-proof-generation-arith-pretrainedOct 3, 20260
- 2transformers-rl-Coq-proof-generationOct 3, 20260
Recently updated
- 1transformers-rl-Coq-proof-generationOct 3, 20260
- 2transformer-Coq-proof-generation-arith-pretrainedOct 3, 20260
All models
| Model | DL 30D | 7D |
|---|---|---|
| transformer-Coq-proof-generation-arith-pretrainedkamillop/transformer-coq-proof-generation-arith-pretrained | 0 | — |
| transformers-rl-Coq-proof-generationkamillop/transformers-rl-coq-proof-generation | 0 | — |