kaiyuy/
ct2-leandojo-lean4-tacgen-byt5-small

Name: ct2-leandojo-lean4-tacgen-byt5-small
Availability: InStock

like

0

Views

No views yet

Tactic generation model in CTranslate2 format, generated by:

bash

pip install ctranslate2
ct2-transformers-converter --model kaiyuy/leandojo-lean4-tacgen-byt5-small --output_dir ct2-leandojo-lean4-tacgen-byt5-small

kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small