Model: purewhite42/rautoformalizer_gtra_deepseek
Author: purewhite42
Pipeline: text-generation
Library: transformers
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 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: 160
Created: 2025-02-25 11:53:23