Kimina-Prover-AI-MO-GGUF is an open-weight text-generation model published by prithivMLmods on the Hugging Face Hub. It has 394 downloads. Runs with transformers.

Author

prithivMLmods

Platform

api

Pricing model

free

Capabilities

Text generation
Conversational
GGUF quantised builds
Library: transformers

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

Kimina-Prover-AI-MO-GGUF

Description

Author

Platform

Pricing model

Categories

Tags

Capabilities