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
main
premise-embeddings-leandojo-lean4-retriever-byt5-small
2 contributors
History:
3 commits
kaiyuy
Upload 2 files
bbfa4a1
verified
3 months ago
.gitattributes
1.57 kB
Upload 2 files
11 months ago
README.md
21 Bytes
initial commit
11 months ago
dictionary.json
64.5 MB
LFS
Upload 2 files
3 months ago
embeddings.npy
2.13 GB
LFS
Upload 2 files
3 months ago