Hugging Face model: purewhite42/HAR_CoPA_Cycle1
Author: purewhite42
Created: 2025-10-28 07:17:26
Last modified: 2025-10-28 12:42:33
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 12
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 model relation: finetune
Base models: 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