Hugging Face model: purewhite42/rautoformalizer_gtra_internlm
Author: purewhite42
Created: 2025-02-25 12:30:22
Last modified: 2025-05-20 07:34:26
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 9
Tags: transformers, pytorch, internlm2, feature-extraction, lean4, statement-autoformalization, formal-mathematics, text-generation, conversational, custom_code, 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, 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