Model · Hugging Face
kaiyuy/leandojo-lean4-tacgen-byt5-small
| Author / organization | kaiyuy |
|---|---|
| License (as declared) | mit |
| Downloads | 1.1K (as reported by Hugging Face) |
| Likes | 15 |
| Library | transformers |
| Created | 25 June 2023 |
| Last updated at source | — |
Popularity, last 5 days
1,054 now (+107 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from kaiyuy
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 20 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.