kaiyuy
/

ct2-leandojo-lean4-retriever-byt5-small

Model card Files Files and versions

ct2-leandojo-lean4-retriever-byt5-small / README.md

kaiyuy's picture

Update README.md

d907e2b verified over 2 years ago

|

184 Bytes

	---
	license: mit
	---

	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).