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
9048f1e
leandojo-lean4-retriever-byt5-small
2 contributors
History:
3 commits
Kaiyu Yang
add models
9048f1e
about 1 year ago
.gitattributes
1.52 kB
initial commit
about 1 year ago
README.md
1.11 kB
Update README.md
about 1 year ago
config.json
796 Bytes
add models
about 1 year ago
pytorch_model.bin
pickle
Detected Pickle imports (3)
"torch._utils._rebuild_tensor_v2"
,
"collections.OrderedDict"
,
"torch.FloatStorage"
What is a pickle import?
871 MB
LFS
add models
about 1 year ago
special_tokens_map.json
3.09 kB
add models
about 1 year ago
tokenizer_config.json
3.33 kB
add models
about 1 year ago
