32-миллиардная модель Qwen2.5-Coder с изменённым поведением отказов для генерации и анализа кода в локальном помощнике или агенте.
Подходит для: генерация кода по текстовому запросу · поиск и исправление ошибок в коде · анализ кода и помощь при отладке
OlmoLogic 7B Think — англоязычная модель на базе Olmo 3, дообученная для логического рассуждения и построения правил на Prolog.
Подходит для: индукция логических правил на Prolog по примерам и фактам · классификация объектов с помощью объяснимых логических правил · решение задач на логическое рассуждение
Дообученная на базе Mistral модель для логического анализа информации, обоснованных суждений и поддержки принятия решений.
Подходит для: анализ аргументов и выводов · оценка информации для принятия решений · получение связных ответов на инструкции
LOGI 1.5B — португалоязычная учебная чат-модель для обучения логике, основам ИИ и цифровой безопасности в игре Decifra.IA.
Подходит для: Объяснение логических связок и эквивалентностей на португальском языке · Построение и разбор таблиц истинности · Обучение базовым понятиям искусственного интеллекта
Дообученная на формальной логике модель Granite с 2,5 млрд параметров для специализированных задач рассуждения и формализации.
Подходит для: формализация утверждений в формальную логику · индукция правил по примерам · решение специализированных задач формального рассуждения
Компактная базовая модель Llama на 123 млн параметров для продолжения текста и экспериментов с языковыми моделями малого размера.
Подходит для: продолжение коротких текстовых фрагментов · генерация связного текста по началу фразы · эксперименты с базовыми языковыми моделями до 150 млн параметров
ChessMamba — шахматный движок на Mamba/S6, который выбирает ходы по истории партии и использует собственный поиск по позициям.
Подходит для: выбор хода в шахматной партии · анализ позиции с поиском ходов · запуск шахматного движка через UCI
Небольшая базовая Llama-подобная языковая модель для продолжения текста и исследований поведения моделей, обученная с нуля.
Подходит для: автодополнение коротких текстовых фрагментов · генерация продолжения заданного текста · оценка малых языковых моделей на бенчмарках
Шахматный движок на модели Mamba для оценки позиций и выбора ходов через UCI.
Подходит для: выбор хода в шахматной позиции · оценка силы шахматного движка · игра в шахматы через совместимый с UCI интерфейс
Слитая модель Llama 3.1 на 7,5 млрд параметров, предназначенная прежде всего для дальнейшего слияния с моделями того же семейства методом TIES.
Подходит для: слияние с другими моделями семейства Llama 3.1 методом TIES · генерация текста в диалоговом формате · эксперименты с переносом навыков логического рассуждения в слитые модели