kaiyuy

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

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

premise-embeddings-leandojo-lean4-retriever-byt5-small is a machine learning model from kaiyuy. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as mit.