Hugging Face model: typeof/morph-prover-v0-7b-sharded
Author: typeof
Created: 2023-11-22 23:49:39
Last modified: 2023-11-23 00:53:41
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 6
Tags: transformers, safetensors, mistral, text-generation, math, lean, en, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Card metadata:
license: apache-2.0
language: en
pipeline_tag: text-generation
tags: math, lean