Дообученная языковая модель WeiboAI на 3,1 млрд параметров для математических задач, соревновательного программирования и STEM-рассуждений с проверяемыми ответами.

Подходит для: решение олимпиадных и конкурсных математических задач · написание решений задач в стиле LeetCode · рассуждения и ответы на вопросы по STEM-дисциплинам

Экспериментальная языковая модель WeiboAI на 1,5 млрд параметров для решения математических задач соревновательного уровня и генерации алгоритмического кода.

Подходит для: решение задач математических олимпиад на английском языке · генерация решений для задач LeetCode · написание алгоритмов для соревнований по программированию

TwIL-LM3 — дообученная 3-миллиардная языковая модель для формальной логики, включая формализацию, логический вывод и задачи Lean.

Подходит для: перевод утверждений на язык логики первого порядка · определение логического следования между утверждениями · семантический разбор формальных выражений

Дообученная на Granite 4.2 3B языковая модель для формальной логики, рассуждений и генерации структурированных текстовых ответов.

Подходит для: оценка логического следования между утверждениями · перевод текста в формулы логики первого порядка · подготовка и критика формулировок и доказательств Lean

Англоязычная модель генерации текста на базе Qwen2/VibeThinker, предназначенная для диалогов и рассуждений по квантовой физике, химии и математике.

Подходит для: ответы на вопросы о квантовой механике · объяснение принципов квантовых схем и алгоритмов · обсуждение коррекции ошибок в квантовых вычислениях

Экспериментальная языковая модель на 3,1 млрд параметров с ослабленными отказами для генерации текста и исследований рассуждений, поведения отказов и выравнивания.

Подходит для: оценка математических рассуждений модели · проверка решений задач по программированию · исследование ответов модели при сниженных отказах

Дообученная 3,1-миллиардная модель Qwen2 для генерации текста, диалогов и вызова инструментов, основанная на WeiboAI/VibeThinker-3B.

Подходит для: диалоговые ответы на английском языке · вызов инструментов из диалогового интерфейса · решение математических задач

Англоязычная модель Qwen2 на 3,1 млрд параметров для диалогов, математических рассуждений и задач соревновательного программирования с ослабленными отказами.

Подходит для: решение математических задач и задач STEM · подготовка решений для задач в стиле LeetCode · генерация кода для соревновательного программирования

Компактная модель Ulam AI на 3,1 млрд параметров для математических задач и исследовательских рассуждений, требующих проверки человеком.

Подходит для: решение математических задач с экспертной проверкой · подготовка черновиков доказательств · исследовательские рассуждения по математике и STEM

Мультиязычный мультимодальный энкодер для поиска релевантных страниц документов по текстовым запросам с помощью многовекторных представлений и MaxSim.

Подходит для: поиск страниц PDF по естественно-языковому запросу · извлечение сведений из сканов и изображений документов · мультиязычный поиск по визуальным документам

Диалоговая модель Qwen2 на 1,5 млрд параметров с уменьшенной частотой отказов, предназначенная для генерации текста и ролевых сценариев.

Подходит для: диалоговое общение с моделью · генерация ролевых сцен · создание художественных текстов с заданным стилем

MLX-версия VibeThinker-3B для генерации текста, программирования и математических рассуждений.

Подходит для: написание и объяснение кода · решение математических задач · ответы на вопросы по STEM-темам

Дообученная на дистилляции рассуждений модель Qwen2 на 3,1 млрд параметров для генерации диалогового текста и решения задач STEM, математики и программирования.

Подходит для: получение развернутых ответов на математические задачи · помощь в решении задач по STEM · генерация и объяснение решений задач по программированию

Дообученная на Fable-5-Glint версия VibeThinker-3B для генерации инструкционных ответов и диалогового текста.

Подходит для: генерация ответов на инструкции в стиле обучающего набора Fable-5-Glint · продолжение диалогового текста · экспериментальная оценка предсказания следующего токена на похожих примерах

Производная модели raithdemis/Qwen2.5-1.5B-VibeThinker-heretic-uncensored-abliterated. Диалоговая модель Qwen2 на 1,5 млрд параметров с уменьшенной частотой отказов, предназначенная для генерации текста и ролевых сценариев.

Подходит для: диалоговое общение с моделью · генерация ролевых сцен · создание художественных текстов с заданным стилем

Мультиязычная мультимодальная модель webAI для поиска релевантных страниц документов по текстовым запросам с помощью многовекторных представлений и оценки MaxSim.

Подходит для: поиск нужных страниц в отсканированных документах по текстовому запросу · поиск ответов в изображениях страниц PDF · мультиязычный поиск по визуальным документам

Мультиязычная ColBERT-подобная модель webAI для поиска по изображениям документов и PDF с помощью текстовых запросов.

Подходит для: поиск страниц PDF по текстовому запросу · извлечение релевантных таблиц из документов · поиск по многоязычным визуальным документам

Дообученная на xLAM языковая модель Qwen2 с 3,1 млрд параметров для генерации текста и вызова инструментов.

Подходит для: формирование структурированных аргументов для вызова функций · выбор подходящего инструмента по запросу пользователя · создание диалогового помощника с вызовом инструментов

safetensors: формат, квантизация, runtime и память принадлежат одному artifact

Дообученная на формальной логике модель Granite с 2,5 млрд параметров для специализированных задач рассуждения и формализации.

Подходит для: формализация утверждений в формальную логику · индукция правил по примерам · решение специализированных задач формального рассуждения

Дообученная китайская BERT-модель для классификации тональности публикаций Weibo на отрицательную, положительную и нейтральную.

Подходит для: Определение тональности отдельной публикации в Weibo · Подсчёт положительных, отрицательных и нейтральных сообщений по теме · Анализ общественного мнения в потоке китайских публикаций

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

Подходит для: поиск релевантных страниц PDF по текстовому запросу · поиск по сканированным и визуально насыщенным документам · мультиязычный поиск по коллекции документов

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

Подходит для: решение математических задач · генерация и анализ кода · ответы на вопросы в диалоге

Дообученная китайская BERT-модель для классификации текста.

Подходит для: Классификация китайскоязычных сообщений · Отнесение сообщений к заданным тематическим классам · Экспериментальная оценка классификации текста на китайском