Hugging Face model: typeof/morph-prover-delta-lora
Author: typeof
Created: 2023-11-23 01:48:01
Last modified: 2024-05-25 14:13:34
Pipeline: text-generation
Likes: 0 | Downloads: 0
Tags: safetensors, math, lean, text-generation, en, license:apache-2.0, region:us
Card metadata:
license: apache-2.0
language: en
pipeline_tag: text-generation
tags: math, lean