Model: purewhite42/HAR_CoPA_Cycle1
Author: purewhite42
Pipeline: text-generation
Library: transformers
Tags: transformers, pytorch, qwen2, text-generation, formal-mathematics, lean4, statement-autoformalization, proof-autoformalization, proof-step-prediction, solution-step-drafting, conversational, en, dataset:purewhite42/CoPA_Dataset, dataset:purewhite42/formal_math500, dataset:purewhite42/minif2f_solving, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base models (finetune): id: Qwen/Qwen2.5-Math-7B
Card metadata: license: apache-2.0
datasets: purewhite42/CoPA_Dataset, purewhite42/formal_math500, purewhite42/minif2f_solving
language: en
base_model: Qwen/Qwen2.5-Math-7B
pipeline_tag: text-generation
library_name: transformers
tags: formal-mathematics, lean4, statement-autoformalization, proof-autoformalization, proof-step-prediction, solution-step-drafting
Likes: 0 | All-time downloads: 120
Created: 2025-10-28 07:17:26