{"id":"69f16082-b726-4485-abb9-cc750847ac6f","slug":"hf-model-purewhite42-har-copa-cycle1-z4rujq-r","name":"HAR_CoPA_Cycle1","description":"Hugging Face model purewhite42/HAR_CoPA_Cycle1. Task: text generation. Library: transformers. 21 downloads.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:37.964Z"}