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