Hugging Face model: purewhite42/rautoformalizer_gtra_deepseek
Author: purewhite42
Created: 2025-02-25 11:53:23
Last modified: 2025-05-20 07:34:37
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 8
Tags: transformers, pytorch, llama, text-generation, lean4, statement-autoformalization, formal-mathematics, en, dataset:hoskinson-center/proofnet, base_model:deepseek-ai/deepseek-math-7b-base, base_model:finetune:deepseek-ai/deepseek-math-7b-base, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: deepseek-ai/deepseek-math-7b-base
Card metadata:
license: apache-2.0
datasets: hoskinson-center/proofnet
language: en
base_model: internlm/internlm2-math-base-7b, deepseek-ai/deepseek-math-7b-base
pipeline_tag: text-generation
library_name: transformers
tags: lean4, statement-autoformalization, formal-mathematics