gguf IQ4_XS: формат, квантизация, runtime и память принадлежат одному artifact
Дообученная языковая модель для ответов на вопросы по найденным документам с предварительным извлечением релевантных фрагментов и снижением влияния шума в RAG.
Подходит для: ответы на вопросы по найденным документам · генерация ответов по фрагментам из поисковой выдачи · фильтрация нерелевантного контекста в RAG-системе
Модель добавляет инварианты циклов в программы на Dafny, чтобы помочь успешно верифицировать их.
Подходит для: добавление инвариантов циклов в код Dafny · подготовка Dafny-программы к проверке верификатором · автоматическое дополнение кода Dafny для формальной верификации
Модель генерирует инварианты циклов и полные программы Dafny, подготовленные для проверки верификатором.
Подходит для: добавление инвариантов циклов в программы Dafny · подготовка Dafny-кода к формальной верификации · генерация полного варианта программы Dafny с инвариантами
Irbis-7B-v0.1 — 7,2-миллиардная модель на архитектуре Mistral для генерации текста преимущественно на казахском языке.
Подходит для: генерация текста на казахском языке · продолжение казахских текстов · генерация и продолжение текстов на русском языке
Компактная модель на базе Qwen2.5-Coder генерирует инварианты циклов и полный проверяемый код для программ на Dafny.
Подходит для: добавление инвариантов циклов в программы Dafny · подготовка полного кода Dafny для проверки верификатором · автоматизация формальной верификации циклов
Экспериментальный чекпойнт Qwen3-4B, дообученный с подкреплением для генерации программ, проходящих тесты.
Подходит для: генерация кода для задач с автоматическими тестами · поиск решения алгоритмических задач программированием · создание нескольких вариантов кода для выбора корректного решения
Чат-модель VAIV на 14,1 млрд параметров для генерации текста и диалоговых сценариев.
Подходит для: ведение диалога с пользователем · генерация ответов в чат-боте · создание текстовых ответов на запросы
Диалоговая языковая модель VAIV на 14,1 млрд параметров с контекстом до 200 000 токенов для генерации текста и длинных бесед.
Подходит для: ведение длинных диалогов с сохранением контекста · генерация ответов на текстовые запросы · обсуждение больших документов в рамках одного диалога
Плотная языковая модель VAIV Company на 14,1 млрд параметров для генерации текста и диалогов.
Подходит для: генерация связного текста по запросу · ведение диалога с пользователем · создание черновиков и продолжение текста
Англоязычная модель Qwen2 с 1,5 млрд параметров для пошаговых рассуждений, генерации SQL и кода, а также решения математических и медицинских задач.
Подходит для: пошаговое решение математических задач · генерация SQL-запросов по текстовому описанию · написание и объяснение кода на Python
Англоязычная модель DeBERTa-v3-small для zero-shot классификации по произвольным меткам, NLI и дообучения классификаторов с контекстом до 1680 токенов.
Подходит для: классификация текста по пользовательским меткам без обучения на этих метках · проверка логического следования между посылкой и гипотезой · классификация длинных документов по тематическим категориям
Объединённая 9-миллиардная Gemma 2 для генерации текста и диалогового общения.
Подходит для: генерация ответов в диалоговом чате · продолжение заданного текста · создание черновиков и вариантов формулировок
Армянская языковая модель на базе Gemma 2 для генерации текста, ответов на вопросы и понимания запросов.
Подходит для: генерация текстов на армянском языке · ответы на вопросы на армянском языке · дополнение армянских текстов
Модель дополняет программы на Dafny циклическими инвариантами, чтобы они проходили формальную проверку.
Подходит для: генерация циклических инвариантов для программ на Dafny · подготовка Dafny-программ к прохождению верификатора · автоматическое дополнение полного исходного кода Dafny
Творческая мультимодальная модель Gemma 4 для диалогов, анализа изображений и генерации выразительного текста.
Подходит для: написание художественной прозы · продолжение творческого текста · ролевые диалоги и переписка с персонажами
Экспериментальный чекпойнт Qwen3-4B, дообученный с подкреплением для генерации кода и решения задач программирования.
Подходит для: генерация программ для задач с тестами · решение алгоритмических задач кодом · поиск решений для сложных задач программирования
Слитая модель Gemma 2 с 9 млрд параметров для генерации текста и диалогового общения с контекстом до 8192 токенов.
Подходит для: генерация ответов в диалоговом интерфейсе · создание и продолжение текстов · ответы на инструкции и запросы
GenS — мультимодальная модель для отбора релевантных кадров из длинного видео по текстовому вопросу.
Подходит для: поиск кадров, отвечающих на вопрос о длинном видео · отбор информативных кадров для VideoQA-системы · поиск кадров с нужным событием или временной последовательностью
AdaGuard-8B проверяет запросы пользователей и поведение ИИ-агентов по заданным правилам, объясняет результат и отмечает нарушенные правила.
Подходит для: проверка запросов по внутренней политике безопасности · аудит последовательности действий ИИ-агента и вызовов инструментов · выявление нарушенных пунктов пользовательского свода правил
Объединённая методом SLERP модель Gemma 2 9B для диалогов и генерации текста с контекстом до 8192 токенов.
Подходит для: генерация ответов в диалоговом интерфейсе · продолжение заданного текста · следование инструкциям в текстовом виде
Объединённая SLERP-модель Gemma 2 на 9 млрд параметров для диалогов и генерации текста с контекстом до 8192 токенов.
Подходит для: диалоговые ответы на текстовые запросы · генерация продолжений текста · следование инструкциям в текстовом чате
Объединённая методом SLERP разговорная модель Gemma 2 на 9 млрд параметров для генерации текста.
Подходит для: ведение диалога с пользователем · генерация ответов на текстовые запросы · создание черновиков и продолжение текста
Объединённая методом SLERP разговорная модель Gemma 2 с 9 млрд параметров для генерации текста и ответов в диалоге.
Подходит для: ответы на вопросы в чате · ведение диалога с пользователем · генерация связных текстовых продолжений