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
d3dfff5
premise-embeddings-leandojo-lean4-retriever-byt5-small
Commit History
Upload 2 files
d3dfff5
kaiyuy
commited on
Dec 1, 2023
initial commit
6f745bf
Kaiyu Yang
commited on
Nov 30, 2023
