kaiyuy
/

ct2-leandojo-lean4-retriever-byt5-small

Inference Endpoints

Model card Files Files and versions Community

kaiyuy commited on Nov 20, 2023

Commit

faf73b3

·

1 Parent(s): 9e2519d

Update README.md

Files changed (1) hide show

README.md +2 -0

README.md CHANGED Viewed

@@ -1,3 +1,5 @@
 ---
 license: mit
 ---

 ---
 license: mit
 ---
+Tactic generation model in CT2 format, generated by [this Python script](https://github.com/lean-dojo/LeanCopilot/blob/main/scripts/convert_to_ct2.py).