2 repos
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Tactic generation model in CT2 format, generated by [this Python…
1
6 commits
kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small
Tactic generation model in CTranslate2 format, generated by:
0
5 commits
