Model: kaiyuy/leandojo-lean4-retriever-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: 4 | All-time downloads: 42276
Created: 2024-01-17 19:37:08