Model: kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Author: kaiyuy
Tags: license:mit, region:us
Card metadata: license: mit
Likes: 0 | All-time downloads: 0
Created: 2023-11-30 23:43:53