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
refs/pr/1
leandojo-lean4-tacgen-byt5-small
/
config.json
Commit History
Upload 5 files
a2cb9e2
kaiyuy
commited on
Jun 25, 2023