{"id":"030df824-4088-4800-8538-2bae2647237c","slug":"hf-model-purewhite42-ar-copa-cycle1-1qf8qny-q","name":"AR_CoPA_Cycle1","description":"Hugging Face model purewhite42/AR_CoPA_Cycle1. Task: text generation. Library: transformers. 27 downloads.","capabilities":["transformers","pytorch","qwen2","text-generation","formal-mathematics","lean4","solution-step-prediction","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.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:55.802Z"}