Tactic generation model in CTranslate2 format, generated by:
ct2-transformers-converter --model kaiyuy/leandojo-lean3-retriever-byt5-small --output_dir ct2-leandojo-lean3-retriever-byt5-small
Tactic generation model in CTranslate2 format, generated by:
ct2-transformers-converter --model kaiyuy/leandojo-lean3-retriever-byt5-small --output_dir ct2-leandojo-lean3-retriever-byt5-small