Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
kaiyuy
/
premise-embeddings-leandojo-lean4-retriever-byt5-small
like
0
License:
mit
Model card
Files
Files and versions
Community
6f745bf
premise-embeddings-leandojo-lean4-retriever-byt5-small
/
README.md
Commit History
initial commit
6f745bf
Kaiyu Yang
commited on
Nov 30, 2023