Hugging Face model: kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small
Author: kaiyuy
Created: 2023-11-30 23:43:53
Last modified: 2024-07-16 15:30:39
Likes: 0 | Downloads: 0
Tags: license:mit, region:us
Card metadata:
license: mit