Hugging Face model: AI-MO/Kimina-Autoformalizer-7B
Author: AI-MO
Created: 2025-04-13 09:46:33
Last modified: 2025-04-16 08:52:17
Pipeline: text-generation
Library: transformers
Likes: 20 | Downloads: 545
Tags: 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, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen2.5-Coder-7B-Instruct
Card metadata:
language: en
base_model: Qwen/Qwen2.5-Coder-7B-Instruct
tags: chat
library_name: transformers
license: apache-2.0