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
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
Have the files? Submit a torrent.
Submit a torrentHave the complete files and permission to share them? Replace the example folder path. The script checks the files, makes a torrent and submits its magnet and checksums. Keep your torrent client seeding. Get your community key from your settings, and read the script before running it.
curl -fsSL https://pirateface.co/package.sh | bash -s -- --repo kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small ./model-folder