kaiyuy
/

ct2-leandojo-lean4-tacgen-byt5-small

Inference Endpoints

Model card Files Files and versions Community

ct2-leandojo-lean4-tacgen-byt5-small / README.md

kaiyuy's picture

Update README.md

9ac8e70 about 1 year ago

|

220 Bytes

metadata

license: mit

Tactic generation model in CTranslate2 format, generated by:

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