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
4 months ago
.gitattributes
Safe
1.57 kB
Upload 2 files
11 months ago
README.md
Safe
21 Bytes
initial commit
11 months ago
dictionary.json
Safe
64.5 MB
LFS
Upload 2 files
4 months ago
embeddings.npy
Safe
2.13 GB
LFS
Upload 2 files
4 months ago
