Mindket

K2-Horizon-7B-GGUF

Newversion 1 · updated

Overview

Quantized GGUF copies of IFM's K2-Horizon-7B text model for running locally in llama.cpp, from BF16 down to 4-bit, with a 512K-token context window.

K2-Horizon-7B-GGUF is a kit in the Developer category, listed by Mindket. It is free. This is version 1, last updated on . Download it on this page, a zip of its files. Nothing in it runs by itself.

At a glance

You need
  • Python with pip
  • A llama.cpp build from release b11454 or newer
  • Disk space: about 4.5 GB for the 4-bit copy, an estimate from Hugging Face
Runs in
  • llama.cpp, built from a release that supports the K2 Horizon architecture
  • Windows, macOS and Linux, where you can run llama.cpp
  • Any chat front end that loads GGUF files through llama.cpp
Start with
pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF

Platform

WindowsOperating system
macOSOperating system
LinuxOperating system

About

What it is

This repository holds GGUF copies of K2-Horizon-7B, a decoder-only text model from IFM with a 7B core and a 512K-token context window. The GGUF format lets you run it locally with llama.cpp instead of calling a hosted service.

Each file carries its tokenizer data and a chat template that llama.cpp can read, so a chat session needs no extra setup files.

Who it suits

People who want to run an open 7B-class model on their own computer and read long inputs. The card says IFM tested the base model on agentic, coding, long-context and reasoning benchmarks.

IndustryWho uses itHow they use itExample
SoftwareDevelopersRun a local coding and tool-use modelA coding helper that runs offline on a workstation
ResearchML researchersStudy an open model and its released checkpointsComparing behavior across training stages
DocumentsAnalystsFeed long texts into one promptAsking questions about a long report
HobbyistsLocal AI usersTry a quantized model on modest hardwareA 4-bit copy on a home PC

You can skip it if you want a hosted chat service, or if your llama.cpp build is older than the release the card names.

Where to use it

The files work with llama.cpp and tools built on it, on Windows, macOS and Linux.

  • llama.cpp, built from a release that supports the K2 Horizon architecture
  • Windows, macOS and Linux, where you can run llama.cpp
  • Any chat front end that loads GGUF files through llama.cpp
Use caseWhoWhat they get back
Local chatAnyone with a recent PCReplies from the model without a cloud account
Long-document questionsAnalysts and writersAnswers drawn from a lengthy input
Coding and agent testsDevelopersA local model to try on agentic and coding tasks

How to set it up

You need Python for the download tool and a llama.cpp build that knows the K2 Horizon architecture. The card says mainline support arrived in release b11454.

  • Python with pip
  • A llama.cpp build from release b11454 or newer
  • Disk space: about 4.5 GB for the 4-bit copy, an estimate from Hugging Face
  1. Install the Hugging Face hub tools with pip.
  2. Download the repository files with the hf command.
  3. Point llama.cpp at the GGUF variant you want.
pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF

How to use it

Load one of the GGUF files in llama.cpp and chat with it. The built-in chat template means the prompt format is handled for you. The card lists these variants.

VariantWhat it is
BF16The full-precision copy, the largest file
Q8_0An 8-bit quantization
Q6_KA 6-bit quantization
Q5_K_MA 5-bit quantization, mixed
Q5_0A 5-bit quantization, plain
Q4_K_MA 4-bit quantization, the smallest listed

Example

You open the Q4_K_M file in llama.cpp and ask it to explain a stack trace from your project. The model replies in the chat, running entirely on your own machine.

For newcomers and experts

If you are new, pick the 4-bit Q4_K_M file first, since it is the smallest and the easiest on memory. Use a recent llama.cpp, load the file and type a question. If the answers feel weak, try a larger variant.

If you know the field: K2-Horizon-7B sits in the middle of the K2-Horizon family and is a dense model. Native 524,288-token context starts from the midtraining stages. IFM released intermediate checkpoints, plus training data, recipe, code and evaluation resources. Lower quantization shrinks the file and costs some accuracy.

  1. Download a GGUF file from the repository
  2. Load it in a llama.cpp build with K2 Horizon support
  3. The built-in chat template formats your prompt
  4. The model replies on your own machine

Good to know

The card's table compares the model with Gemma 4-12B, Qwen3.5-9B and Granite 4.2-8B on competition mathematics. Treat these as the authors' own numbers.

HMMT Feb 2026 competition math score
K2-Horizon-7B73.3 points
Granite 4.2-8B66.5 points
Qwen3.5-9B65.7 points
Gemma 4-12B63.1 points
  • License: Apache 2.0
  • Cost to run: none named, you run it on your own hardware
  • Data it reaches: the files you download from Hugging Face and the prompts you type locally
  • Not for: older llama.cpp builds without K2 Horizon support

README and files

README

K2-Horizon-7B-GGUF

Quantized GGUF copies of IFM's K2-Horizon-7B text model for running locally in llama.cpp, from BF16 down to 4-bit, with a 512K-token context window.

Made by IFM on Hugging Face. These notes are Mindket's, written from its model page and model card; the model's own files and license are on Hugging Face.

About

What it is: This repository holds GGUF copies of K2-Horizon-7B, a decoder-only text model from IFM with a 7B core and a 512K-token context window. The GGUF format lets you run it locally with llama.cpp instead of calling a hosted service.

Each file carries its tokenizer data and a chat template that llama.cpp can read, so a chat session needs no extra setup files.

Who it suits: People who want to run an open 7B-class model on their own computer and read long inputs. The card says IFM tested the base model on agentic, coding, long-context and reasoning benchmarks.

Industry | Who uses it | How they use it | Example
Software | Developers | Run a local coding and tool-use model | A coding helper that runs offline on a workstation
Research | ML researchers | Study an open model and its released checkpoints | Comparing behavior across training stages
Documents | Analysts | Feed long texts into one prompt | Asking questions about a long report
Hobbyists | Local AI users | Try a quantized model on modest hardware | A 4-bit copy on a home PC

You can skip it if you want a hosted chat service, or if your llama.cpp build is older than the release the card names.

Where to use it: The files work with llama.cpp and tools built on it, on Windows, macOS and Linux.

  • llama.cpp, built from a release that supports the K2 Horizon architecture
  • Windows, macOS and Linux, where you can run llama.cpp
  • Any chat front end that loads GGUF files through llama.cpp
Use case | Who | What they get back
Local chat | Anyone with a recent PC | Replies from the model without a cloud account
Long-document questions | Analysts and writers | Answers drawn from a lengthy input
Coding and agent tests | Developers | A local model to try on agentic and coding tasks

How to set it up: You need Python for the download tool and a llama.cpp build that knows the K2 Horizon architecture. The card says mainline support arrived in release b11454.

  • Python with pip
  • A llama.cpp build from release b11454 or newer
  • Disk space: about 4.5 GB for the 4-bit copy, an estimate from Hugging Face
  1. Install the Hugging Face hub tools with pip.
  2. Download the repository files with the hf command.
  3. Point llama.cpp at the GGUF variant you want.
pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF

How to use it: Load one of the GGUF files in llama.cpp and chat with it. The built-in chat template means the prompt format is handled for you. The card lists these variants.

Variant | What it is
BF16 | The full-precision copy, the largest file
Q8_0 | An 8-bit quantization
Q6_K | A 6-bit quantization
Q5_K_M | A 5-bit quantization, mixed
Q5_0 | A 5-bit quantization, plain
Q4_K_M | A 4-bit quantization, the smallest listed

Example: You open the Q4_K_M file in llama.cpp and ask it to explain a stack trace from your project. The model replies in the chat, running entirely on your own machine.

For newcomers and experts: If you are new, pick the 4-bit Q4_K_M file first, since it is the smallest and the easiest on memory. Use a recent llama.cpp, load the file and type a question. If the answers feel weak, try a larger variant.

If you know the field: K2-Horizon-7B sits in the middle of the K2-Horizon family and is a dense model. Native 524,288-token context starts from the midtraining stages. IFM released intermediate checkpoints, plus training data, recipe, code and evaluation resources. Lower quantization shrinks the file and costs some accuracy.

Download a GGUF file from the repository
Load it in a llama.cpp build with K2 Horizon support
The built-in chat template formats your prompt
The model replies on your own machine

Good to know: The card's table compares the model with Gemma 4-12B, Qwen3.5-9B and Granite 4.2-8B on competition mathematics. Treat these as the authors' own numbers.

Title: HMMT Feb 2026 competition math score
K2-Horizon-7B: 73.3 points
Granite 4.2-8B: 66.5 points
Qwen3.5-9B: 65.7 points
Gemma 4-12B: 63.1 points
  • License: Apache 2.0
  • Cost to run: none named, you run it on your own hardware
  • Data it reaches: the files you download from Hugging Face and the prompts you type locally
  • Not for: older llama.cpp builds without K2 Horizon support

On Hugging Face, 13 November 2026

  • Task: text generation
  • Library: transformers
  • Parameters: 9B
  • Weights: about 4.5 GB at 4-bit (estimate)
  • Formats: GGUF
  • Downloads in the last 30 days: 24,083
  • Likes: 84
  • License: apache-2.0
  • Languages: en
  • Based on: IFM/K2-Horizon-7B
  • Fine-tunes: 1
  • Tags: transformers, gguf, k2-horizon, 7b, dense, open-weights, text-generation, conversational

Links

Get the model

Download its files with Hugging Face's command line:

pip install -U huggingface_hub
hf download IFM/K2-Horizon-7B-GGUF

Then follow the usage in its model card. Nothing in this kit runs by itself.

Files
README.md  5 KB

1 file, 5 KB, downloaded as a zip.

What’s new

  • Version 1 · 2026-11-13

Compare with similar

Listed Hugging Face models in the same category that share the most tags with this one.

ProductDownloads, last 30 daysLikesParametersLicenseLast change
K2-Horizon-7B-GGUF This page24,083849Bapache-2.0
K2-Horizon-7BShares 7b · k2-horizon · open-weights42,3272879Bapache-2.0
K2-Horizon-3.7B-GGUFShares k2-horizon · open-weights · dense19,581605.1Bapache-2.0
Ming-3.0-tts-0.5B by inclusionAIShares dense · text-generation · transformers14,7562251.5Bmit
Ornith-1.5-9B-GGUFShares gguf · text-generation · conversational5,772,4256739.2Bmit
Ornith-1.5-35B-A3B-GGUFShares gguf · text-generation · conversational4,164,87660335.5Bmit
Numbers as Mindket last read them, from 2026-11-12 to 2026-11-13.

Reviews

No ratings yet

Write a review

No reviews yet.

More from Mindket

See all from Mindket

Huashu Design

alchaincyf · Skill

Turns a one-line request in your AI agent into a finished design: a launch animation, a clickable app prototype, an editable slide deck, an infographic or a se…

New29.4k

Guizang PPT Skill

op7418 · Skill

Skill that makes single-file HTML slide decks, slide illustrations and platform covers in two visual styles, with a presenter mode for rehearsal. For speakers…

New29.8k

Claude Code Skills & Plugins

alirezarezvani · Skill

Adds 411 ready-made skills for Claude Code and other coding agents, grouped by role from engineering and product to marketing, finance and compliance. Installs…

New29.8k

Similar in Developer

See all in Developer

buzz

block · Kit

Self-hostable workspace where people and AI agents share the same rooms, built on a Nostr relay that logs every action as a signed event. For teams that want t…

New37.3k

plannotator

backnotprop · Kit

Opens your AI coding agent's plans, specs and code changes in a browser so you can annotate or comment on them and send the feedback straight back to the agent.

New10.5k

open-code-review

alibaba · Kit

Reviews Git changes with an AI agent that reads files and searches the codebase, then writes comments tied to exact lines. It suits developers who want automat…

New50.7k