Компактная причинная англоязычная модель ARO для генерации текста и исследования режимов обучения на корпусе BabyLM.
Подходит для: генерация коротких текстов на английском языке · оценка компактных языковых моделей на задачах BabyLM · сравнение рецептов предварительного обучения языковых моделей
Англоязычная компактная причинная языковая модель ARO для исследований усвоения языка и грамматической генерализации при ограниченном бюджете данных.
Подходит для: исследование усвоения языка на ограниченном объёме обучающих данных · генерация продолжений англоязычного текста · сравнение компактных причинных языковых архитектур
diffusers: формат, квантизация, runtime и память принадлежат одному artifact
Слитая 12,1-миллиардная модель Mistral Nemo для диалогов, ролевых игр и создания художественных историй с длинным контекстом.
Подходит для: написание художественных рассказов и сцен · продолжение незавершённого сюжета или сцены · генерация основного и побочных сюжетов
Дообученная на доказательствах Lean 4 модель Qwen3-32B для формального доказательства математических теорем.
Подходит для: доказательство теорем в Lean 4 · генерация тактик и доказательств для Lean 4 · решение задач формальной математики
Экспериментальный чекпойнт Qwen3-32B для генерации текста и задач формального математического доказательства, в котором использование инструментов деградировало после дообучения.
Подходит для: генерация текстовых ответов в диалоге · эксперименты с доказательством теорем в Lean 4 · изучение деградации вызова инструментов после дообучения на формальной математике
Дообученная модель Qwen3 на 29,7 млрд параметров для диалогов, вызова инструментов и формального доказательства теорем на Lean 4.
Подходит для: вызов инструментов в агентных диалогах · формальное доказательство математических теорем в Lean 4 · восстановление вызова функций после дообучения для формальной математики
Экспериментальная Qwen3-модель на 29,7 млрд параметров, дообученная на Lean-трассах для восстановления вызова инструментов при генерации текста.
Подходит для: генерация Lean 4-доказательств с использованием инструментов · создание диалоговых агентов для формальной математики · восстановление вызова инструментов в дообученной языковой модели