Hugging Face's logo

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

Transformers
Inference Endpoints
Model card Files Community
kaiyuy commited on
Commit
d907e2b
·
verified ·
1 Parent(s): 238d59b

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -1
README.md CHANGED
@@ -2,4 +2,4 @@
2
  license: mit
3
  ---
4
 
5
- Tactic generation model in CT2 format, generated by [this Python script](https://github.com/lean-dojo/LeanCopilot/blob/main/scripts/convert_to_ct2.py).
 
2
  license: mit
3
  ---
4
 
5
+ Tactic generation model in CT2 format, generated by [this Python script](https://github.com/lean-dojo/LeanCopilot/blob/main/scripts/convert_t5encoder_to_ct2.py).