kaiyuy
/

premise-embeddings-leandojo-lean4-retriever-byt5-small

Model card Files Files and versions Community

premise-embeddings-leandojo-lean4-retriever-byt5-small

2 contributors

History: 1 commit

Kaiyu Yang

initial commit

6f745bf 11 months ago