AI-MO.Kimina-Autoformalizer-7B-GGUF is an open-weight text-generation model with roughly 7B parameters published by DevQuasar on the Hugging Face Hub. It has 268 downloads.

Author

DevQuasar

Platform

api

Pricing model

free

Capabilities

Text generation
Conversational
GGUF quantised builds
7B parameters

Related llms

Others in the same category, ranked by how often they are opened.

DeepSeek-R1Open-weight LLM by deepseek-aiLLMs · Coding
Llama-3.1-8B-Instruct8B open-weight LLM by meta-llamaLLMs · Productivity
DeepSeek-V4-ProOpen-weight LLM by deepseek-aiLLMs · Productivity
GLM-5.2Open-weight LLM by zai-orgLLMs · Productivity
gpt-oss-20b20B open-weight LLM by openaiLLMs · Productivity
Meta-Llama-3-8B-Instruct8B open-weight LLM by meta-llamaLLMs · Productivity
Llama-2-7b-chat-hf7B open-weight LLM by meta-llamaLLMs · Productivity
DeepSeek-V4-Flash-0731Open-weight LLM by deepseek-aiLLMs · Productivity

AI-MO.Kimina-Autoformalizer-7B-GGUF

Description

Author

Platform

Pricing model

Categories

Tags

Capabilities