Model: sean-lamont/leandojo-lean3-reprover-novel-premises
Author: sean-lamont
Library: transformers
Tags: transformers, safetensors, t5, text2text-generation, text-generation-inference, endpoints_compatible, region:us
Likes: 0 | All-time downloads: 10
Created: 2024-05-14 07:00:06