Hugging Face model: fumiyau/leanprover_20230704_01_clm_prover_14final_checkpoint_5830
Author: fumiyau
Created: 2023-07-04 02:55:08
Last modified: 2023-07-04 03:10:42
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 4
Tags: transformers, pytorch, gpt_neox, text-generation, text-generation-inference, endpoints_compatible, region:us
Card metadata: