Model: kaiyuy/leandojo-lean4-tacgen-byt5-small
Author: kaiyuy
Library: transformers
Tags: transformers, safetensors, t5, text2text-generation, license:mit, text-generation-inference, endpoints_compatible, deploy:azure, region:us
Card metadata: license: mit
inference: parameters: max_length: 1024
widget: text: a b : ℕ
⊢ a + b = b + a
example_title: Example
Likes: 14 | All-time downloads: 39960
Created: 2023-06-25 02:47:32