Model: sean-lamont/leandojo-lean3-reprover-random
Author: sean-lamont
Library: transformers
Tags: transformers, safetensors, t5, text2text-generation, text-generation-inference, endpoints_compatible, region:us
Likes: 0 | All-time downloads: 8
Created: 2024-05-14 06:58:49