Edit model card

Tactic generation model in CT2 format, generated by this Python script.

Downloads last month
9
Inference API
Unable to determine this model’s pipeline type. Check the docs .

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