TwIL-LM3 — дообученная 3-миллиардная языковая модель для формальной логики, включая формализацию, логический вывод и задачи Lean.
Подходит для: перевод утверждений на язык логики первого порядка · определение логического следования между утверждениями · семантический разбор формальных выражений
Вспомогательная модель-черновик Liquid AI для ускорения генерации LiquidAI/LFM2.5-2.6B с помощью speculative decoding.
Подходит для: ускорение генерации текста моделью LFM2.5-2.6B в SGLang · ускорение локального декодирования на Apple Silicon через Metal · ускорение генерации при решении математических задач
Ling-3.0-flash — разговорная гибридная MoE-модель Inclusion AI для генерации текста, программирования и многошаговых агентных задач с длинным контекстом.
Подходит для: генерация и исправление программного кода · выполнение многошаговых задач кодового агента · ответы на вопросы и следование инструкциям
Черновая модель Liquid AI для speculative decoding, ускоряющая генерацию LiquidAI/LFM2.5-8B-A1B при использовании совместимого инференс-сервера.
Подходит для: ускорение генерации текста на LFM2.5-8B-A1B через speculative decoding · снижение задержки инференса в SGLang · ускорение генерации на Apple Silicon с Metal
Компактная англоязычная модель семейства LLaMA для генерации текста и экспериментов со спекулятивным декодированием.
Подходит для: эксперименты с малой языковой моделью для спекулятивного декодирования · генерация английского текста · исследование авторегрессионных моделей семейства LLaMA
LOGI 1.5B — португалоязычная учебная чат-модель для обучения логике, основам ИИ и цифровой безопасности в игре Decifra.IA.
Подходит для: Объяснение логических связок и эквивалентностей на португальском языке · Построение и разбор таблиц истинности · Обучение базовым понятиям искусственного интеллекта
Computer — 70-миллиардная модель-персонаж на базе Llama 3.1, предназначенная для выразительных литературных диалогов и продолжения документов-разговоров.
Подходит для: создание необычного продолжения заданного диалога · литературное взаимодействие с моделью-персонажем · генерация диалогов с повествовательными ремарками и притчами
LogiLlama — компактная англоязычная модель Goppa AI для диалогов и задач, требующих логических рассуждений, рассчитанная на локальный запуск.
Подходит для: ответы на вопросы на английском языке · диалоговый помощник для локального запуска · решение логических задач
Базовая модель на архитектуре Llama с 1,2 млрд параметров для автодополнения кода, продолжения текста и исследований кодовых языковых моделей.
Подходит для: автодополнение фрагментов Python · продолжение кода на других языках программирования · продолжение английского текста
Небольшая англоязычная авторегрессионная модель EleutherAI для исследований генерации текста и поведения языковых моделей.
Подходит для: эксперименты с предсказанием следующего токена на английском языке · исследование поведения языковых моделей на разных этапах обучения · анализ интерпретируемости компактной трансформерной модели
Производная модели logicker/SkkuDS-DPO-72B-v1. Англоязычная диалоговая модель Qwen1.5 на 71 млрд параметров, дообученная методом DPO для генерации текста и ответов в чате.
Подходит для: генерация ответов в англоязычном чате · составление и продолжение текстов на английском языке · диалоговое взаимодействие с языковой моделью
Англоязычная диалоговая модель Qwen1.5 на 71 млрд параметров, дообученная методом DPO для генерации текста и ответов в чате.
Подходит для: генерация ответов в англоязычном чате · составление и продолжение текстов на английском языке · диалоговое взаимодействие с языковой моделью
Производная модели logicker/SkkuDS-DPO-72B-v1. Англоязычная диалоговая модель Qwen1.5 на 71 млрд параметров, дообученная методом DPO для генерации текста и ответов в чате.
Подходит для: генерация ответов в англоязычном чате · составление и продолжение текстов на английском языке · диалоговое взаимодействие с языковой моделью
Черновая модель Liquid AI для ускорения генерации LFM2.5-1.2B-Instruct методом спекулятивного декодирования с точным сохранением результата целевой модели.
Подходит для: ускорение генерации текста моделью LFM2.5-1.2B-Instruct в SGLang · ускорение локального инференса LFM2.5 на устройствах Apple Silicon · спекулятивное декодирование для задач математики и ответов на вопросы
Чат-модель семейства Llama на 10,6 млрд параметров для генерации текста с контекстом 4096 токенов.
Подходит для: генерация ответов в диалоговом интерфейсе · составление текстов по запросу · продолжение заданного текста
OlmoLogic 7B Think — англоязычная модель на базе Olmo 3, дообученная для логического рассуждения и построения правил на Prolog.
Подходит для: индукция логических правил на Prolog по примерам и фактам · классификация объектов с помощью объяснимых логических правил · решение задач на логическое рассуждение
Модель LiquidAI LFM2.5-1.2B с удалёнными отказами предназначена для диалоговых экспериментов и red teaming.
Подходит для: проверка устойчивости систем к запросам, на которые обычно следует отказ · исследование поведения языковой модели при удалённом механизме отказов · эксперименты с инструкционным диалогом на английском языке
Компактная LLaMA-совместимая языковая модель для локальных агентных рабочих процессов, диагностики Linux и генерации кода.
Подходит для: диагностика проблем Linux-серверов · помощь в системном администрировании и настройке инфраструктуры · генерация скриптов Bash и Python для автоматизации
GLM-Z1-32B-0414 — 32-миллиардная диалоговая модель для генерации текста и решения сложных математических, программных и логических задач.
Подходит для: решение сложных математических задач · объяснение и написание программного кода · логический анализ многошаговых задач
Компактная гибридная LFM2.5-модель для генерации пошаговых решений STEM-задач и ответов на задачи логического вывода при локальном запуске.
Подходит для: пошаговое решение задач по линейной алгебре · объяснение задач по дифференциальным уравнениям · решение задач по электромагнетизму и классической механике
safetensors: формат, квантизация, runtime и память принадлежат одному artifact
Производная модели logicker/SkkuDataScience-DPO-v2-90-ckpt. Чат-модель семейства Llama на 10,6 млрд параметров для генерации текста с контекстом 4096 токенов.
Подходит для: генерация ответов в диалоговом интерфейсе · составление текстов по запросу · продолжение заданного текста
Дообученная на базе Mistral модель для логического анализа информации, обоснованных суждений и поддержки принятия решений.
Подходит для: анализ аргументов и выводов · оценка информации для принятия решений · получение связных ответов на инструкции
SynLogic-32B — дообученная MiniMaxAI модель на базе Qwen2.5-32B для решения логических и связанных с математикой задач с помощью генерации текста.
Подходит для: Решение текстовых задач на логический вывод · Решение судоку и подобных головоломок · Поиск решения для задач Game of 24