Downloads · 30 days
36
10% of all-time downloads
ct2-leandojo-lean4-tacgen-byt5-small
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
ct2-leandojo-lean4-tacgen-byt5-small is a machine learning model from kaiyuy. Use it for the machine learning task on the model card, and read the license before you ship it in a product. It is set up for transformers. The card lists the license as mit.
Tactic generation model in CTranslate2 format, generated by:
All-time downloads
348
Public
Repo size
3.6 GB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.bin1.2 GB · 100%
At a glance
- Library
- transformers
- License
- mit
- Access
- Public
- Created
- Oct 14, 2023
- Updated
- Jul 16, 2024
- SHA
- 775657f7
Model card
From the Hugging Face model README
Tactic generation model in CTranslate2 format, generated by:
pip install ctranslate2
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small
- Library
- transformers
- License
- mit
- Created
- Oct 14, 2023
- Updated
- Jul 16, 2024