kaiyuy
/

ct2-leandojo-lean4-retriever-byt5-small

Update README.md

d907e2b verified about 1 year 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).