Дообученная языковая модель Qwen3 на 7,6 млрд параметров для генерации текста и рассуждений, в том числе в задачах Lean.
Подходит для: генерация рассуждений по математическим задачам · получение ответов на вопросы о формализации математических доказательств · подготовка текста для задач на Lean
Процессная reward-модель на базе Qwen2.5 для оценки шагов математических рассуждений и выявления ошибок в решениях.
Подходит для: оценка правильности промежуточных шагов математического решения · поиск ошибочного шага в цепочке рассуждений · ранжирование нескольких математических решений по качеству рассуждений
Компактная языковая модель Microsoft для пошаговых математических рассуждений и решения сложных задач при ограниченных вычислительных ресурсах.
Подходит для: решение многошаговых математических задач · помощь с продвинутыми текстовыми задачами по математике · выполнение символьных вычислений
Reward-модель на 72 млрд параметров оценивает математические рассуждения и помогает отбирать ответы или формировать сигналы вознаграждения при обучении.
Подходит для: оценка качества математических решений и промежуточных шагов · отбор обучающих примеров с помощью reward-оценок и rejection sampling · формирование сигнала вознаграждения для обучения с подкреплением
ESM-2 — белковая языковая модель для заполнения маскированных позиций и дообучения на задачах анализа последовательностей белков.
Подходит для: восстановление замаскированных аминокислот в белковой последовательности · получение представлений белков для последующего дообучения · адаптация модели под классификацию белковых последовательностей
Дообученная модель Qwen3 на 7,6 млрд параметров для диалоговой генерации текста с обучением на данных обратной связи по рассуждениям Lean.
Подходит для: генерация ответов в диалоге · пошаговое рассуждение по формальным математическим задачам · работа с задачами и обратной связью в Lean
Специализированная модель OpenBMB, переводящая математические утверждения на естественном языке в формальный код Lean 4.
Подходит для: перевод математических утверждений в код Lean 4 · автоматическая формализация математических задач · подготовка формальных утверждений для проверки компилятором Lean
Базовая модель Qwen2.5 на 7,1 млрд параметров для генерации пошаговых решений математических задач на английском и китайском языках.
Подходит для: Решение математических задач с пошаговым объяснением · Few-shot решение задач по математике на английском языке · Few-shot решение задач по математике на китайском языке
Производная модели internlm/internlm2-math-plus-1_8b. Двуязычная модель InternLM2 на 1,7 млрд параметров для решения математических задач, рассуждений и работы с формальными доказательствами.
Подходит для: пошаговое решение математических задач · решение задач уровня MATH и GSM8K · решение задач с использованием Python
SAM 3 — модель Meta для поиска, сегментации и отслеживания объектов на изображениях и видео по текстовым или визуальным подсказкам.
Подходит для: выделение масками всех объектов заданного типа на изображении · сегментация объекта по точке, рамке или маске · поиск объектов на изображении по короткому текстовому запросу
Двуязычная модель InternLM2 на 1,7 млрд параметров для решения математических задач, рассуждений и работы с формальными доказательствами.
Подходит для: пошаговое решение математических задач · решение задач уровня MATH и GSM8K · решение задач с использованием Python
Компактная модель Agentica на базе DeepSeek-R1-Distill-Qwen-1.5B, дообученная с подкреплением для решения математических задач и генерации текстовых рассуждений.
Подходит для: решение задач уровня AIME и AMC · генерация пошаговых математических рассуждений · ответы на вопросы из математических наборов задач
Производная модели internlm/internlm2-math-plus-1_8b. Двуязычная модель InternLM2 на 1,7 млрд параметров для решения математических задач, рассуждений и работы с формальными доказательствами.
Подходит для: пошаговое решение математических задач · решение задач уровня MATH и GSM8K · решение задач с использованием Python
TexTeller распознаёт математические формулы на изображениях и преобразует их в LaTeX.
Подходит для: извлечение формул из фотографий учебников · преобразование рукописных или печатных выражений в LaTeX · оцифровка многострочных формул и матриц
Дообученная Qwen3 на 7,6 млрд параметров для генерации текста, ориентированная на формальные математические доказательства и их исправление.
Подходит для: генерация формальных математических доказательств · исправление ошибок в формальных доказательствах · диалоговая помощь при работе с Lean
Экспериментальная англоязычная модель Ai2 на 6,9 млрд параметров, дообученная методом RLVR для генерации текста и решения математических задач.
Подходит для: решение математических задач с пошаговыми рассуждениями · проверка методов RLVR на математических запросах · генерация текстовых ответов на английском языке
Англоязычная модель Ai2 на 6,9 млрд параметров, дообученная методом RLVR для генерации решений математических задач и исследования обучения с проверяемыми наградами.
Подходит для: генерация решений математических задач · пошаговое рассуждение при решении задач · эксперименты с обучением RLVR на математических запросах
SapBERT-PubMedBERT преобразует англоязычные названия биомедицинских сущностей в эмбеддинги для семантического поиска и связывания сущностей.
Подходит для: получение эмбеддингов названий заболеваний и лекарств · поиск семантически близких медицинских терминов · сопоставление упоминаний с сущностями UMLS
Pi3X восстанавливает геометрию сцены и параметры камер по набору изображений, не требуя фиксированного опорного кадра.
Подходит для: восстановление геометрии сцены по нескольким фотографиям · оценка поз камер для набора изображений · построение локальных карт точек сцены
SAM 2.1 Hiera Large — модель FAIR для сегментации объектов на изображениях и их отслеживания между кадрами видео по визуальным подсказкам или автоматически.
Подходит для: автоматическое выделение объектов на изображениях · сегментация объекта по клику или нескольким точкам · сегментация по ограничивающей рамке
Дообученная 8,8-миллиардная модель GLM для генерации текста и решения математических задач с рассуждениями.
Подходит для: решение школьных математических задач · пошаговое решение задач GSM8K · генерация математических рассуждений
Модель Pix2Text-MFR-1.5 распознаёт математические формулы на изображениях и преобразует их в LaTeX.
Подходит для: перевод формул с изображений в LaTeX · оцифровка математических формул из сканов · распознавание формул в учебных материалах
Pix2Text-MFR распознаёт математические формулы на изображениях и преобразует их в LaTeX.
Подходит для: распознавание формул с изображения в LaTeX · оцифровка математических выражений из сканов и фотографий · извлечение формул из учебных материалов
Дообученная диалоговая модель Qwen3 с 7,6 млрд параметров для генерации текста в контексте до 32 768 токенов.
Подходит для: генерация ответов в диалоговом интерфейсе · продолжение текста по пользовательскому запросу · подготовка черновиков математических рассуждений