Hugging Face's logo

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

Transformers
Inference Endpoints
Model card Files Community
1

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
Downloads last month
27
Inference API
Unable to determine this model’s pipeline type. Check the docs .

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