Model: purewhite42/rautoformalizer_gtra_internlm
Author: purewhite42
Pipeline: text-generation
Library: transformers
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 models (finetune): 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
Likes: 0 | All-time downloads: 144
Created: 2025-02-25 12:30:22