How to use from
Docker Model Runner
docker model run hf.co/GermannM/Kenga-Trained:Q4_K_M
Quick Links

Kenga-Trained — флагманская модель с верифицированным обучением

Kenga-Trained — языковая модель, дообученная на корпусе, где каждый пример проверен компилятором. Она не «думает» над вопросом — она отвечает. Прямо, коротко, по-русски.

Результат

В сравнительном тесте пяти моделей (10 вопросов, нулевая температура) Kenga-Trained дала 8 правильных ответов из 10 — единственная из всех. Остальные четыре (включая базовые версии) дали ноль: они анализировали запрос вместо того, чтобы ответить.

Модель Правильных Время
Kenga-Trained 8 / 10 24.5 с
Kenga-Heretic 0 / 10 32.1 с
Kenga-Finetuned 0 / 10 58.8 с
Kenga (базовая) 0 / 10 33.6 с
Qwen 3.5 9B (база) 0 / 10 45.7 с

Что делает её другой

Верифицированный корпус. Каждый пример в обучающих данных был проверен: программа компилируется, запускается, выдаёт ожидаемый результат. Модель училась на данных, где правильность — не мнение, а факт.

Результат: модель, которая отвечает на вопросы вместо того, чтобы рассуждать о том, почему вопрос интересный.

Использование

Ollama (рекомендуется)

ollama pull kenga-trained
ollama run kenga-trained "Столица Франции?"
# Париж.

llama.cpp

llama-cli -m kenga-trained-q4_k_m.gguf -p "Столица Франции?"

Python (transformers + GGUF)

from transformers import AutoModelForCausalLM, AutoTokenizer

model = AutoModelForCausalLM.from_pretrained(
    "GermannM/Kenga-Trained",
    gguf_file="kenga-trained-q4_k_m.gguf"
)

Примеры

Пользователь: Кто написал «Войну и мир»?
Кенга: Лев Толстой.

Пользователь: Сколько дней в високосном году?
Кенга: 366

Пользователь: Химическая формула воды?
Кенга: H2O

Технические детали

  • Параметры: ~9B
  • Квантование: Q4_K_M (4.4 GB)
  • Формат: GGUF (совместим с Ollama, llama.cpp, LM Studio)
  • Языки: русский (основной), английский
  • Обучающий корпус: верифицированные программы на языке Kenga (компиляция + запуск + проверка результата для каждого примера)

Спектральный паспорт

Модель снабжена спектральным паспортом идентичности (Z-система): маркер 6108e4d16400d5e1 верифицирует, что это именно эта модель, а не подделка или несанкционированная модификация.

Создатель

Герман Янтарас (GermannM) — создатель языка программирования Kenga и Z-системы.

Связанные проекты

  • Kenga-lang — язык программирования для живого ИИ
  • Z-System — физика информационных объектов
  • Kenga 1.5B — компактная версия с вписанной идентичностью
Downloads last month
-
GGUF
Model size
8B params
Architecture
qwen2
Hardware compatibility
Log In to add your hardware

4-bit

Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support