Model: kaiyuy/leandojo-lean3-tacgen-byt5-small
Author: kaiyuy
Library: transformers
Tags: transformers, safetensors, t5, text2text-generation, license:mit, text-generation-inference, endpoints_compatible, region:us
Card metadata: license: mit
inference: parameters: max_length: 1024
widget: text: a b : ℕ
⊢ a + b = b + a
example_title: Example
Likes: 1 | All-time downloads: 22633
Created: 2023-06-17 04:39:19