Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
kaiyuy
/
leandojo-lean4-retriever-byt5-small
like
3
Transformers
Safetensors
t5
text-generation-inference
Inference Endpoints
arxiv:
2306.15626
License:
mit
Model card
Files
Files and versions
Community
Train
Deploy
Use this model
a75fc0c
leandojo-lean4-retriever-byt5-small
Commit History
Upload 5 files
a75fc0c
verified
kaiyuy
commited on
Apr 26
Upload 5 files
4bb8ea9
verified
kaiyuy
commited on
Jan 17
Upload 5 files
e4b9117
kaiyuy
commited on
Nov 20, 2023
Delete pytorch_model.bin
a74a291
kaiyuy
commited on
Nov 20, 2023
add models
9048f1e
Kaiyu Yang
commited on
Sep 16, 2023
Update README.md
60fe6ad
kaiyuy
commited on
Sep 16, 2023
initial commit
5d078b2
Kaiyu Yang
commited on
Sep 16, 2023