sean-lamont
/

leandojo-lean3-reprover-novel-premises

Text2Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

leandojo-lean3-reprover-novel-premises

Commit History

Upload 5 files

6e14588
verified

sean-lamont commited on May 14

Upload model.safetensors

1bca7fd
verified

sean-lamont commited on May 14

initial commit

215f899
verified

sean-lamont commited on May 14