Hugging Face model: sean-lamont/leandojo-lean3-reprover-novel-premises
Author: sean-lamont
Created: 2024-05-14 07:00:06
Last modified: 2024-05-14 07:30:16
Library: transformers
Likes: 0 | Downloads: 1
Tags: transformers, safetensors, t5, text2text-generation, text-generation-inference, endpoints_compatible, region:us
Card metadata: