{"id":"533c7df1-de3c-475b-ba92-e32aea5d1478","slug":"hf-model-ai-mo-kimina-autoformalizer-7b-195wfeh-u","name":"Kimina-Autoformalizer-7B","description":"Hugging Face model AI-MO/Kimina-Autoformalizer-7B. Task: text generation. Library: transformers. 269 downloads. 21 likes.","capabilities":["transformers","safetensors","qwen2","text-generation","chat","conversational","en","arxiv:2504.11354","base_model:Qwen/Qwen2.5-Coder-7B-Instruct","base_model:finetune:Qwen/Qwen2.5-Coder-7B-Instruct","license:apache-2.0","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":39.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:55.582Z"}