Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
kaiyuy
/
leandojo-lean4-tacgen-byt5-small
like
12
Text2Text Generation
Transformers
Safetensors
t5
text-generation-inference
Inference Endpoints
License:
mit
Model card
Files
Files and versions
Community
2
Train
Deploy
Use this model
ae22858
leandojo-lean4-tacgen-byt5-small
/
.gitattributes
Commit History
initial commit
be6bfc9
Kaiyu Yang
commited on
Jun 25, 2023
