/ Профессии
Универсальные способности и операции

I.13Симуляция, моделирование и открытие нового

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

ЭмбеддингиТекст
AI-задач
18
в этой профессии
Подходящих моделей
1 577
по типу задач и модальности
Категория
I. Универсальные способности
Основные типы
ЭмбеддингиТекст

Рекомендованные модели

1 577 моделей
Загрузки
Лайки
Дата выхода
691–720 из 1 577
dyyyyyyyy
Mistral-7B-ScaleQuest

Mistral-7B-ScaleQuest — языковая модель на основе Mistral, представленная в проекте ScaleQuest как модель для решения математических задач. Она дообучена на синтетическом наборе ScaleQuest-Math, созданном методом генерации вопросов с нуля, и предназначена для получения решений по математическим задачам. В карточке приведены результаты на MATH и Olympiad Bench; модель содержит 7,1 млрд параметров, поддерживает контекст до 32 768 токенов и распространяется в формате safetensors для Transformers. Модель принимает текстовые запросы и генерирует текстовые ответы на английском языке. Лицензия — Apache-2.0. Карточка не уточняет ограничения решения отдельных типов задач или точность за пределами указанных оценочных наборов.

271окт. 2024ctx32.8K
textapache-2.0hugging-face
nvidia
NFT-7B

NFT-7B — языковая модель для математических рассуждений, разработанная NVIDIA, Университетом Цинхуа и Стэнфордским университетом. Это декодерный трансформер семейства Qwen2.5, дообученный методом Negative-aware Fine-Tuning на базе Qwen/Qwen2.5-Math-7B с использованием набора DAPO-Math-17k. Модель насчитывает 7,1 млрд параметров и принимает текстовые задачи, включая выражения в LaTeX, а в ответе может приводить пошаговое решение и итог в формате \boxed{}. Модель предназначена для решения математических задач общего и олимпиадного уровня, включая задачи AIME, AMC, MATH500 и Minerva Math. Карточка указывает контекст до 32 768 токенов, однако метаданные каталога сообщают native context 4 096 токенов. Модель в первую очередь обучена на математических задачах на английском языке; метаданные также отмечают английский язык. Для использования рекомендуются ясные формулировки и пошаговые запросы. Лицензия указана как other, поэтому условия использования следует проверять в карточке репозитория. Разработчики позиционируют модель для исследований и разработок.

1863июнь 2025ctx4.1K
textotherhugging-face
OpenMed
OpenMed-NER-ProteinDetect-SuperClinical-141M

OpenMed-NER-ProteinDetect-SuperClinical-141M — модель OpenMed для распознавания биомедицинских сущностей в текстах. Это дообученная модель на архитектуре DeBERTa-v2 для классификации токенов; в README базовая архитектура указана как deberta-v3-small. Модель обучена на корпусе FSU и выделяет белки, белковые комплексы, семейства и группы белков, варианты белков и другие связанные сущности. Размер по метаданным — 155 млн параметров, максимальная длина контекста — 512 токенов. Модель предназначена для извлечения сущностей из биомедицинской литературы и клинических текстов, например для поиска белков и молекулярных взаимодействий, анализа путей и построения биомедицинских баз знаний. README приводит F1 0,92 на FSU, но не описывает независимую проверку этих результатов. Поддерживается английский язык. Лицензия — Apache-2.0.

168K0июль 2025ctx512
textapache-2.0hugging-face
internlm
OREAL-7B

OREAL-7B — языковая модель для математических рассуждений, разработанная командой InternLM. Это плотная авторегрессионная модель семейства Qwen2 с 7,1 млрд параметров, дообученная на основе internlm/OREAL-7B-SFT методом обучения с подкреплением по итоговому вознаграждению, включая задачи с бинарной оценкой результата. Модель рассчитана на диалоговый формат и генерацию развёрнутых решений математических задач; в README для серии OREAL приведён результат 94,0 pass@1 на MATH-500 для модели 7B. Модель принимает текстовые запросы и генерирует текстовые ответы. Для рассуждений при обучении и использовании применяется системный промпт; метаданные указывают контекст до 131072 токенов и интерфейс вызова инструментов. Модель доступна в формате safetensors для Transformers и распространяется по лицензии Apache-2.0. Она ориентирована на математические задачи, а приведённая оценка относится к конкретному бенчмарку и не гарантирует точность на иных задачах; проверяйте вычисления и выводы модели.

20120февр. 2025ctx131.1K
textapache-2.0hugging-face
PRIME-RL
P1-30B-A3B

P1-30B-A3B — языковая модель серии P1, разработанная для решения задач по физике и подготовки к физическим олимпиадам. Она построена на Qwen3-30B-A3B-Thinking-2507 и дообучена в несколько этапов с подкреплением на отобранных данных физических соревнований. Архитектура — Qwen3 MoE с генерацией текста; в репозитории доступны веса safetensors. Метаданные указывают 2,6 млрд параметров и контекст до 262 144 токенов. Модель предназначена для пошагового рассуждения над сложными задачами по физике. В карточке также заявлены результаты на математических, STEM- и кодовых бенчмарках: например, серебряный уровень на IPhO 2025 и улучшение относительно базовой модели на ряде тестов. Это результаты, приведённые авторами, и они не гарантируют аналогичную точность на произвольных задачах. Модель поддерживает английский и заявлена как многоязычная; конкретные языки, кроме английского, карточка не перечисляет. Лицензия — Apache-2.0.

18710окт. 2025ctx262.1K
textapache-2.0hugging-face
vy22215
Qwen2.5-Math-1.5B-Instruct

Карточка модели vy22215/Qwen2.5-Math-1.5B-Instruct на Hugging Face совпадает с карточкой Qwen/Qwen2.5-Math-1.5B-Instruct, поэтому описание составлено по ней. Qwen2.5-Math-1.5B-Instruct — языковая модель с архитектурой Qwen2, разработанная командой Qwen. Это версия с инструкционной настройкой и 1,5 млрд параметров, предназначенная прежде всего для решения математических задач на английском и китайском языках с пошаговыми рассуждениями (CoT) и tool-integrated reasoning (TIR). Модель работает через Transformers и поддерживает контекст до 4096 токенов. TIR помогает выполнять точные вычисления, символьные преобразования и алгоритмические рассуждения; модель подходит для ответов на математические вопросы и решения задач, включая вычислительно сложные примеры. В карточке приведён результат 79,7 на бенчмарке MATH для версии 1.5B-Instruct при использовании TIR. Разработчик не рекомендует применять семейство для задач вне математики. Модель распространяется по лицензии Apache-2.0.

240июнь 2026ctx4.1K
textapache-2.0hugging-face
waleko
Qwen2.5-Math-7B-RoPE-300k

Карточка модели waleko/Qwen2.5-Math-7B-RoPE-300k на Hugging Face совпадает с карточкой Qwen/Qwen2.5-Math-7B, поэтому описание составлено по ней. Qwen2.5-Math-7B — базовая плотная языковая модель семейства Qwen2.5-Math, разработанная командой Qwen. Она содержит 7,1 млрд параметров и предназначена для генерации решений математических задач на английском и китайском языках с рассуждением по шагам (CoT) и интегрированным использованием инструментов (TIR). Эту базовую версию используют для продолжения текста и few-shot вывода; она также служит основой для дальнейшего дообучения. Модель построена на архитектуре Qwen2 и запускается через Transformers. Для работы с моделью нужна версия Transformers 4.37.0 или новее; контекст составляет 4096 токенов. Модель специализирована на математике и не рекомендуется для других задач. Карточка не приводит отдельных ограничений точности. Лицензия — Apache-2.0.

420июль 2026ctx32.8K
textapache-2.0hugging-face
lllyx
Qwen3-1.7B-SFT

lllyx/Qwen3-1.7B-SFT — языковая модель, разработанная на основе Qwen3-1.7B-Base и дообученная методом полного supervised fine-tuning. В README не указана отдельная организация-разработчик; модель связана с исследовательской работой «Rethinking On-Policy Distillation of Large Language Models: Phenomenology, Mechanism, and Recipe», авторами которой являются Yaxuan Li и соавторы. Модель предназначена прежде всего для математического рассуждения, решения задач и следования инструкциям в математическом домене. Она обучена на датасете lllyx/OpenThought3-Qwen3-4B, содержащем математические запросы и ответы, сгенерированные Qwen3-4B в режиме без рассуждений; данные были очищены от дубликатов, повторяющихся и вырожденных ответов. Во время обучения режим thinking был отключён. Ключевые характеристики: архитектура и точное число параметров унаследованы от Qwen3-1.7B-Base, размер модели составляет около 1,7 млрд параметров, поддерживаются английский и китайский языки, заявлена длина контекста до 20 480 токенов. Модель относится к классу text-generation и ориентирована на текстовую модальность. Сильной стороной является специализация на математических задачах и reasoning после SFT, однако README не содержит количественных результатов оценки, поэтому превосходство над базовой моделью подтвердить нельзя. Лицензия указана как other; её конкретные условия не раскрыты.

2.3K4март 2026
textotherhugging-face
SeongryongJung
qwen3-8b-physics-srpo-ema005

SeongryongJung/qwen3-8b-physics-srpo-ema005 — контрольная точка модели Qwen3-8B, дообученной методом SRPO на задаче физики; репозиторий содержит последний чекпойнт обучения global_step_100 в формате Transformers. Модель имеет плотную архитектуру Qwen3ForCausalLM и 7,6 млрд параметров, принимает текст и генерирует текст. Метаданные указывают контекст до 40 960 токенов; базовая модель Qwen3-8B предназначена для многоязычного диалога, рассуждений, следования инструкциям, кода и вызова инструментов. Чекпойнт ориентирован на решение задач по физике с помощью генерации и рассуждений. В карточке приведена лучшая валидационная метрика mean@16 — 71,33% на шаге 40, но загружен последний чекпойнт, для которого указано итоговое значение 56,64%; лучший промежуточный чекпойнт в репозитории не опубликован. Лицензия — Apache-2.0.

100июль 2026ctx41K
textapache-2.0hugging-face
BioMistral
BioMistral-7B-DARE

BioMistral-7B-DARE — текстовая чат-модель для генерации ответов на вопросы и инструкции в биомедицинской тематике. Она создана слиянием BioMistral-7B и Mistral-7B-Instruct-v0.1 методом DARE TIES; архитектура — Mistral с 7,1 млрд параметров. Модель принимает текст и выдаёт текст, поддерживает контекст до 32 768 токенов и рассчитана на несколько европейских языков, включая английский, французский, немецкий, испанский, итальянский, нидерландский, польский и румынский. Модель подходит для исследовательских экспериментов с биомедицинскими вопросами и ответами, а также для прототипирования диалоговых систем по медицинским и биологическим темам. В README приведены результаты оценки BioMistral на англоязычных медицинских QA-бенчмарках, но они не подтверждают клиническую пригодность этой версии. Авторы предупреждают о возможных рисках и смещениях, отсутствии оценки в реальных клинических условиях и рекомендуют не применять модель для профессиональных медицинских решений без дополнительного тестирования и адаптации. Лицензия — Apache-2.0.

1.3K24февр. 2024ctx32.8K
textapache-2.0hugging-face
ExploreXploitQ
DeepMath-103K-Level6-Qwen3-4B-Base-GRPO

ExploreXploitQ разработал DeepMath-103K-Level6-Qwen3-4B-Base-GRPO — дообученную методом GRPO плотную языковую модель Qwen3 для математических рассуждений. Модель обучалась с обновлением всех параметров на 57 046 примерах поднабора Level 6 датасета DeepMath-103K; для обучения использовались verl и обучающий код Thinking-Space/Rethinking-OPD, а вознаграждение за ответы задавалось правилами проверки математического результата. Модель предназначена для генерации пошаговых решений и ответов на математические задачи. В README приведены результаты проверки на AIME 2025, AMC 2022–2023 и AIME 2024: соответственно, 21,25%, 60,77% и 23,54% точности в режиме avg@16. Это специализированная модель на 3,7 млрд параметров с контекстом 32 768 токенов, доступная для использования через Transformers. Базовая модель — Qwen/Qwen3-4B-Base; лицензия — Apache-2.0.

290сент. 2026ctx32.8K
textapache-2.0hugging-face
dyyyyyyyy
Llama3-8B-ScaleQuest

Llama3-8B-ScaleQuest — языковая модель для решения математических задач, представленная авторами проекта ScaleQuest. Она дообучена на синтетических математических данных, созданных методом генерации вопросов с нуля без исходных примеров. Модель основана на плотной архитектуре Llama с примерно 7,5 млрд параметров и использует библиотеку Transformers; принимает текст и генерирует текстовый ответ. Контекстное окно составляет 8192 токена. Модель предназначена для пошагового решения математических задач и ответов на вопросы по математике. В карточке приведены результаты на MATH и Olympiad Bench: 64,4 и 25,3 соответственно. Репозиторий содержит веса в формате safetensors, а лицензия — Apache-2.0. Английский язык указан в метаданных; карточка посвящена математическим задачам.

240окт. 2024ctx8.2K
textapache-2.0hugging-face
insilicomedicine
longevity-llm

Longevity-LLM (L-LLM) — специализированная текстовая модель Insilico Medicine для вопросов и задач в биологии старения и долголетия. Она основана на Qwen3.5-9B с архитектурой гибридного трансформера и 9 млрд параметров. Модель обучали продолжением предобучения и supervised fine-tuning, а затем объединили LoRA-адаптеры с базовыми весами; опубликованный чекпойнт в формате safetensors предназначен для диалогового использования. Обучающий корпус охватывает клинические данные и эпидемиологию, эпигеномику, транскриптомику, протеомику и генетику, включая данные о метилировании ДНК и формулах эпигенетических часов. Модель принимает текст и генерирует текст на английском языке; README рекомендует использовать её для исследовательских запросов о старении, биомаркерах и связанных биологических данных. Веса занимают около 18,8 ГБ в bf16; в README приведены настройки развёртывания для vLLM и конфигурации с контекстом до 28 000 токенов. Модель может уверенно выдумывать биомедицинские сущности, величины эффектов и ссылки, а также ошибаться в сопоставлениях CpG-сайтов и генов; перечисленные идентификаторы и утверждения требуют проверки. Для открытых запросов со списками возможны повторения. Лицензия — CC BY-ND 4.0.

6257май 2026ctx262.1K
textcc-by-nd-4.0hugging-face
Elliott
LUFFY-Qwen-Math-7B-Zero-On-Policy

LUFFY-Qwen-Math-7B-Zero-On-Policy — языковая модель Elliott, дообученная на базе Qwen/Qwen2.5-Math-7B методом обучения с подкреплением. Это on-policy базовый вариант проекта LUFFY, использующий подмножество OpenR1-Math-220k; подход LUFFY сочетает генерацию собственных решений с внешними цепочками математических рассуждений при обучении. Модель предназначена для генерации пошаговых решений математических задач, включая задачи олимпиадного и конкурсного уровня. Она основана на плотной архитектуре Qwen2, содержит 7,1 млрд параметров и поддерживает контекст до 16 384 токенов. В карточке приведены результаты оценки на AIME 2024/2025, AMC, MATH-500, Minerva и Olympiad; README заявляет преимущество над другими методами zero-RL, но приведённая таблица неполна. Модель принимает текст и генерирует текст. Базовая модель ориентирована на английский и китайский языки; отдельные сведения о языковом охвате дообученной версии не приведены. Репозиторий распространяет веса в формате safetensors по лицензии MIT.

330апр. 2025ctx16.4K
textmithugging-face
nasos10
MuToR-llama3-8B-1M_MATH-dmax_4_a_01

MuToR-llama3-8B-1M_MATH-dmax_4_a_01 — языковая модель на архитектуре Llama 3, созданная методом MuToR (Multi-Token Prediction with Registers). Это дообученная версия Meta-Llama-3-8B, обученная пять эпох на обучающей части 1M-MATH с использованием датасета NVIDIA OpenMathInstruct-2. Веса представлены в формате safetensors; модель содержит 7,5 млрд параметров и поддерживает контекст до 8192 токенов. Модель предназначена для генерации текста, в частности для решения математических задач и воспроизведения экспериментов с многотокенным предсказанием. MuToR использует фиктивные register-токены для предсказания нескольких будущих целей и усиления обучающего сигнала; при инференсе эти токены отбрасываются, поэтому скорость генерации не снижается. Для использования и воспроизведения результатов следует обратиться к коду проекта. Лицензия модели — MIT.

3010июнь 2025ctx8.2K
textmithugging-face
OpenMed
OpenMed-NER-ProteinDetect-ElectraMed-560M

OpenMed-NER-ProteinDetect-ElectraMed-560M — модель OpenMed для распознавания биомедицинских сущностей в научных и клинических текстах. Это дообученный трансформер с архитектурой XLM-RoBERTa и головой токеновой классификации, содержащий около 658,7 млн параметров. Модель принимает токенизированный текст и выдаёт BIO-разметку сущностей; контекст — до 514 токенов. Модель предназначена прежде всего для выявления белков, белковых комплексов, семейств и групп белков, а также вариантов белков в корпусе FSU, ориентированном на молекулярную биологию и взаимодействия белков. Её можно применять для извлечения сущностей из научной литературы и медицинских записей, анализа взаимодействий и построения биомедицинских баз знаний. В README заявлены F1 0,96, точность 0,96 и полнота 0,96 на FSU; эти результаты относятся к указанному корпусу и не гарантируют качество на других данных. Карточка указывает английский язык и лицензию Apache-2.0.

96K0июль 2025ctx514
textapache-2.0hugging-face
OpenMed
OpenMed-NER-ProteinDetect-SuperClinical-434M

OpenMed-NER-ProteinDetect-SuperClinical-434M — модель OpenMed для распознавания биомедицинских сущностей в научных и клинических текстах. Это дообученная модель DeBERTa V2 для классификации токенов; по карточке она выделяет белки, белковые комплексы, семейства и группы белков, а также варианты белков. Размер по метаданным — 533,8 млн параметров, длина контекста — 512 токенов. Модель принимает токенизированный текст и выдаёт BIO-разметку сущностей. Модель предназначена для извлечения белковых сущностей из медицинских записей и научной литературы, включая поиск упоминаний, полезных для анализа взаимодействий белков, биомедицинского майнинга и построения графов знаний. В README приведены показатели на корпусе FSU: F1 0,94, точность 0,94 и полнота 0,95. Эти результаты относятся к указанному корпусу; качество на иных типах текстов может отличаться. Лицензия — Apache-2.0.

93K0июль 2025ctx512
textapache-2.0hugging-face
OpenMed
OpenMed-NER-ProteinDetect-TinyMed-66M

OpenMed-NER-ProteinDetect-TinyMed-66M — специализированная модель OpenMed для распознавания биомедицинских сущностей в тексте. Это дообученная версия DistilBERT с архитектурой DistilBertForTokenClassification, рассчитанная на классификацию токенов; базовая модель — distilbert-base-uncased. Модель обрабатывает текст на английском языке с контекстом до 512 токенов и размечает упоминания белков, белковых комплексов, семейств и вариантов в формате BIO. Модель предназначена для извлечения белковых сущностей из научной литературы и биомедицинских текстов, в том числе для поиска белковых взаимодействий, анализа молекулярных путей и построения биомедицинских баз знаний. В карточке заявлены результаты на корпусе FSU: F1 0,90, точность 0,89, полнота 0,91 и accuracy 0,97. Лицензия — Apache-2.0. Эти показатели относятся к указанному корпусу; карточка не подтверждает пригодность модели для клинических решений, а распознавание сущностей само по себе не извлекает взаимодействия или лекарственные эффекты.

94K0июль 2025ctx512
textapache-2.0hugging-face
internlm
OREAL-32B-SFT

OREAL-32B-SFT — языковая модель для математических рассуждений, разработанная командой OREAL и представленная как часть серии OREAL. Это дообученная методом supervised fine-tuning модель Qwen2.5-32B с архитектурой Qwen2ForCausalLM и 32 млрд параметров. Она принимает текстовые вопросы и генерирует текстовые решения; заявленная длина контекста составляет 131 072 токена. Модель предназначена для решения математических задач с пошаговыми рассуждениями и ответами на вопросы. В README описана как исходная политика для последующего обучения OREAL с подкреплением по итоговому вознаграждению. Для серии OREAL приведены результаты оценивания, включая 95,0 pass@1 на MATH-500 для OREAL-32B, однако карточка не уточняет, что именно эта оценка относится к варианту SFT. В метаданных указаны возможности чата и интерфейс вызова инструментов. Модель распространяется под лицензией Apache-2.0. Заявленная специализация на математике ограничивает её применимость к другим областям; приведённые в карточке результаты относятся к серии OREAL и не подтверждают отдельно качество этого SFT-чекпойнта на всех перечисленных тестах.

1147февр. 2025ctx131.1K
textapache-2.0hugging-face
qingyangzhang
QFT-OLMO3-32B-epoch-3

QFT-OLMO3-32B-epoch-3 — языковая модель для математических рассуждений в формате Hugging Face, опубликованная пользователем qingyangzhang. По метаданным это плотная авторегрессионная модель семейства Qwen3 с архитектурой Qwen3ForCausalLM и 7,6 млрд параметров. Репозиторий содержит веса safetensors; для подготовки диалоговых запросов следует использовать встроенный chat template. Модель предназначена для генерации текста и решения задач, требующих математических рассуждений. Она поддерживает контекст до 49 152 токенов и ориентирована на английский язык. Лицензия — Apache-2.0. В README не приведены результаты оценок качества и подробности обучения, поэтому точность на конкретных типах математических задач по этим данным определить нельзя.

1990сент. 2026ctx49.2K
textapache-2.0hugging-face
SeongryongJung
Qwen3-4B-Physics-SDPO-TR

SeongryongJung/Qwen3-4B-Physics-SDPO-TR — экспериментальный чекпойнт Qwen3-4B, обученный методом SDPO-TR на физическом наборе данных с размером батча 32. В репозитории размещён лучший по валидационному mean@16 чекпойнт на шаге 50; также доступен финальный чекпойнт на шаге 100. Модель предназначена для генерации текста и решения задач по физике с использованием рассуждений. В README указана лучшая валидационная оценка mean@16 69,45%, а для финального чекпойнта — 60,16%. Это результаты конкретного эксперимента, а не гарантия качества на других наборах задач. Модель содержит около 3,7 млрд параметров, использует плотную архитектуру Qwen3ForCausalLM и поддерживает контекст до 40 960 токенов. Базовая модель — Qwen/Qwen3-4B. Веса представлены в формате safetensors; лицензия — Apache-2.0. Для загрузки README приводит пример использования Transformers с trust_remote_code=True.

60июль 2026ctx41K
textapache-2.0hugging-face
shuoxing
qwen-3.5-27b-absorb

shuoxing/qwen-3.5-27b-absorb — дообученная модель Qwen/Qwen3.5-27B, созданная методом самодистилляции Absorb для математических рассуждений. Во время обучения одна и та же модель выступала учителем и учеником: учитель получал задачу вместе с ключевой математической идеей, а ученик — только задачу; ограниченная передача подсказок помогала ученику строить собственное решение. При использовании модели такая подсказка не требуется. Модель обучена на 709 задачах-доказательствах из экзаменов Ph.D. по математике из набора shuoxing/math-phd-qual-709. Она предназначена для генерации решений и доказательств, а также для экспериментов с обнаружением и применением ключевых идей в задачах. Это плотная архитектура Qwen3.5 с 27 млрд параметров; изменена языковая часть, а модуль зрения перенесён из базовой модели без изменений. Обучение и оценка проводились только на текстовых данных. Весовой адаптер LoRA был объединён с весами модели. Репозиторий содержит веса safetensors, модель распространяется по лицензии Apache-2.0.

3140сент. 2026ctx262.1K
textapache-2.0hugging-face
violetxi
qwen35-9b-equational-theory-sair-r3-mix1m

Qwen3.5-9B equational-theory SAIR R3 — это полноразмерное дообучение Qwen3.5-9B, опубликованное violetxi. Модель предназначена для диалога и ответов на вопросы по теории уравнений, включая работу с заметками R0–R3 и задачами, сформулированными на Lean. Она использует плотную архитектуру Qwen3.5 с 9 млрд параметров и представлена полными BF16-весами в формате safetensors; зрительные и MTP-веса унаследованы от базовой модели. Обучение проводилось методом SFT на смеси заметок и траекторий «вопрос—ответ». Модель загружается через Transformers с поддержкой Qwen3.5 и может обслуживаться vLLM; доступны шаблон чата и интерфейс вызова инструментов. Базовая Qwen3.5-9B мультимодальна, однако обучение этой версии сосредоточено на текстовых математических материалах. Итоговая оценка математической точности ещё не опубликована. Потери обучения и валидации не показывают точность доказательств, а оценки GPT не заменяют проверку доказательств в Lean. Модель распространяется по лицензии Apache-2.0.

3560сент. 2026ctx262.1K
textapache-2.0hugging-face
seomh
Qwen3-8B-Base-OpenThoughts3Math-SFT-step750-lr5e-6

Экспериментальный промежуточный чекпойнт Qwen3-8B-Base, дообученный компанией seomh методом SFT на математических диалогах из набора OpenThoughts3 Math. Модель плотная, авторегрессионная, содержит 7,6 млрд параметров и принимает текст, генерируя текст. Контекст — до 32 768 токенов; веса представлены в формате safetensors и bf16. Чекпойнт предназначен для генерации решений математических задач в формате диалога: обучающие ответы содержат рассуждение и завершаются выражением в \boxed{}. Это шаг 750 из запланированных 2000; автор сообщает, что модель ещё не оценивалась. Для генерации рекомендуется задавать max_new_tokens около 16 384. Лицензия — Apache-2.0.

2280сент. 2026ctx32.8K
textapache-2.0hugging-face
Dongwei
Rationalyst_reasoning_datasets

Rationalyst — текстовая модель семейства Llama, дообученная авторами проекта на базе LLaMa-3-Instruct-8B. Она предназначена для генерации неявных обоснований: на вход подают вопрос и частичную последовательность рассуждения, а модель предлагает обоснование для следующего шага. Подход описан в работе RATIONALYST о предварительном обучении с supervision на промежуточных шагах рассуждения. Модель имеет плотную архитектуру Llama примерно на 7,5 млрд параметров, работает с текстом и поддерживает контекст до 8192 токенов. Для обучения использованы 65 тысяч неявных обоснований из The Pile и 14 тысяч из GSM8K и ECQA. В карточке приведены результаты оценки на задачах математического и логического рассуждения, понимания здравого смысла и общих знаний. Модель подходит для дополнения траекторий рассуждений и экспериментов с пошаговым решением задач. Карточка не описывает отдельные ограничения качества или безопасности. Лицензия — Apache-2.0.

4684июль 2024ctx8.2K
textapache-2.0hugging-face
RUC-AIBOX
STILL-3-1.5B-preview

STILL-3-1.5B-preview — экспериментальная модель рассуждений, представленная разработчиками проекта STILL. Это плотная авторегрессионная языковая модель на архитектуре Qwen2 размером 1,5 млрд параметров, дообученная с помощью обучения с подкреплением для пошагового решения сложных математических задач. Модель предназначена для генерации ответов и диалогового использования; в метаданных также заявлен интерфейс вызова инструментов. В карточке приведены результаты на математических бенчмарках MATH, AIME, OMNI и LiveAOPS: для STILL-3-1.5B-preview указана точность 39,33% на AIME и 85,48% на MATH. Метаданные указывают контекстное окно 131 072 токена, библиотеку Transformers и формат весов safetensors. Модель опубликована 25 января 2025 года. Это предварительный исследовательский выпуск, поэтому приведённые бенчмарки не гарантируют точности на произвольных задачах. Для воспроизведения результатов важны параметры декодирования, использованные в оценке. Лицензия в предоставленных данных не указана.

11210янв. 2025ctx131.1K
texthugging-face
MiniMaxAI
SynLogic-32B

SynLogic-32B — языковая модель MiniMaxAI для логических рассуждений, дообученная с помощью обучения с подкреплением на наборе SynLogic поверх Qwen2.5-32B-Base. Это плотная авторегрессионная модель семейства Qwen2 с 32 млрд параметров, рассчитанная на генерацию текста; метаданные указывают контекст до 131 072 токенов. Модель обучалась на 35 задачах логического вывода, включая судоку, Game of 24, шифры и лабиринты со стрелками. Разработчик также сообщает о переносе навыков на математические задачи без специального обучения математике и приводит результаты на бенчмарках BBEH, KOR-Bench и BBH. Модель подходит для решения текстовых логических задач и проверки подходов к рассуждению; заявленные результаты относятся к оценкам разработчика. Модель опубликована в формате Safetensors и использует библиотеку Transformers. Лицензия — MIT. Она принимает текст и генерирует текст; метаданные отмечают поддержку диалогового режима и интерфейса вызова инструментов.

36317май 2025ctx131.1K
textmithugging-face
Video-Reason
VBVR-Pro-ThinkMorph

VBVR-Pro-ThinkMorph — мультимодальная модель, созданная авторами проекта VBVR-Pro как дообучение ThinkMorph-7B. Она предназначена для визуального рассуждения через генерацию: принимает исходное изображение и текстовую инструкцию, формирует последовательность чередующихся текстовых рассуждений и изображений, а затем возвращает итоговый ответ. Модель обучена на данных VBVR-Pro-SFT-Image; опубликованы веса EMA с шага обучения 25 000 в формате BF16 и полный чекпойнт, включающий автоэнкодер изображений. Модель рассчитана на задачи, где нужно анализировать визуальную сцену и создавать промежуточные состояния изображения, например отслеживать изменения или выполнять визуальные преобразования. Авторы сообщают о переносе на ряд тестов визуального рассуждения. Используется специализированная архитектура ThinkMorph/BAGEL с языковой конфигурацией Qwen2-MoT; для запуска требуются код и зависимости ThinkMorph, Linux и CUDA, рекомендуется GPU класса 80 ГБ. Обычная загрузка через Transformers AutoModel или Diffusers не поддерживается. Лицензия — Apache-2.0.

230авг. 2026ctx131.1K
textapache-2.0hugging-face
Video-Reason
VBVR-Pro-Wan2.2-TI2V-5B

Video-Reason разработала VBVR-Pro-Wan2.2-TI2V-5B — дообученную модель Wan2.2-TI2V-5B для генерации видео по текстовым инструкциям и изображениям. Она предназначена для задач визуального рассуждения, в которых ответ выражается сгенерированным видео, включая отслеживание состояний и изменений во времени. Модель обучена на VBVR-Dataset и опубликована как слитый чекпойнт с rank-32 LoRA, объединённой с весами DiT; для загрузки через Diffusers отдельный адаптер не нужен. Модель распространяется в форматах Diffusers и safetensors по лицензии Apache-2.0. Карточка описывает её как исследовательский релиз в рамках набора VBVR-Pro, но приводит сценарии прямого инференса. Подробные результаты бенчмарков и характеристики разрешения или длины контекста в доступной части карточки отсутствуют.

280авг. 2026
textvideoapache-2.0hugging-face
jan-hq
Yakult-70B

Yakult-70B — языковая модель Jan, дообученная на математических данных на базе LLaMA 3 70B. Она предназначена для диалогового взаимодействия и решения математических задач; запускать её можно через Jan Desktop на macOS, Windows и Linux. Модель использует плотную архитектуру LlamaForCausalLM, содержит 69,5 млрд параметров и поддерживает контекст до 8192 токенов. Карточка указывает английский язык, формат весов safetensors и шаблон диалога Llama 3. Лицензия — Llama 2.

190апр. 2024ctx8.2K
textllama2hugging-face

Задачи профессии

18 задач
202Создание суррогатной модели для ускорения дорогой симуляции. — Для этой задачи система генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. Предметная логика: проигрывает альтернативные состояния без воздействия на реальный объект и измеряет чувствительность результата. Рабочие входы: параметры системы, экспериментальные данные, пространство гипотез и физические или статистические модели. Формат результата: редактируемый артефакт по задаче «Создание суррогатной модели для ускорения дорогой симуляции», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — модель или гипотеза. Критерии приёмки: по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
203Калибровка параметров математической или физической модели. — Практическая реализация: AI оценивает текущее состояние, рассчитывает управляющее воздействие и корректирует его по обратной связи. Входной контекст включает пространство гипотез, параметры системы, физические или статистические модели и экспериментальные данные. Формат результата: управляющее решение для «Калибровка параметров математической или физической модели» с ожидаемым эффектом, допустимыми пределами и условиями безопасной остановки. Ошибки выявляют в симуляции и контролируемых испытаниях, с проверкой устойчивости и независимых аварийных ограничений; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
204Обратное проектирование: поиск входных параметров по желаемому результату. — Механизм: AI формирует план в виде ограниченной задачи расписания или маршрутизации и пересчитывает его при изменении условий. Исходные данные: параметры системы, физические или статистические модели, экспериментальные данные и пространство гипотез. Формат результата: выполнимый план для «Обратное проектирование: поиск входных параметров по желаемому результату» с последовательностью действий, ресурсами, зависимостями и резервами. Проверка: симуляцией исполнения, проверкой сроков и ресурсов и сравнением с фактическим результатом; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
205Генерация множества альтернативных конструкций или конфигураций. — AI генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. К исходным данным относятся физические или статистические модели, экспериментальные данные, пространство гипотез и параметры системы. Формат результата: редактируемый артефакт по задаче «Генерация множества альтернативных конструкций или конфигураций», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — модель или гипотеза. Надёжность оценивают по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
206Проведение виртуальных экспериментов до физического испытания. — Для этой задачи система создаёт вычислительное представление объекта или процесса и проигрывает на нём альтернативные сценарии. Предметная логика: формулирует проверяемые объяснения и отделяет предсказания гипотезы от постфактум-интерпретаций. Рабочие входы: исследовательский вопрос, экспериментальные данные, пространство гипотез, параметры системы и физические или статистические модели. Формат результата: вычислительная модель или карта для «Проведение виртуальных экспериментов до физического испытания» с результатами сценариев и анализом чувствительности. Критерии приёмки: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
207Моделирование поведения сложной системы при разных сценариях. — Практическая реализация: AI восстанавливает скрытые связи между параметрами и использует модель для виртуальных экспериментов. Входной контекст включает пространство гипотез, параметры системы, физические или статистические модели и экспериментальные данные. Формат результата: вычислительная модель или карта для «Моделирование поведения сложной системы при разных сценариях» с результатами сценариев и анализом чувствительности. Ошибки выявляют сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
208Поиск неизвестных закономерностей в многомерных данных. — Механизм: AI обходит разрешённые источники, объединяет найденное и отсеивает нерелевантные либо дублирующиеся результаты. Исходные данные: параметры системы, физические или статистические модели, экспериментальные данные и пространство гипотез. Формат результата: ранжированный список кандидатов по задаче «Поиск неизвестных закономерностей в многомерных данных» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Проверка: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
209Автоматическое формирование проверяемых гипотез. — AI создаёт новый артефакт по требованиям, исходным фактам и примерам, сохраняя возможность последующего редактирования. Предметная логика: формулирует проверяемые объяснения и отделяет предсказания гипотезы от постфактум-интерпретаций. К исходным данным относятся исследовательский вопрос, физические или статистические модели, экспериментальные данные, пространство гипотез и параметры системы. Формат результата: редактируемый артефакт по задаче «Автоматическое формирование проверяемых гипотез», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — модель или гипотеза. Надёжность оценивают по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
210Предложение следующего наиболее информативного эксперимента. — Для этой задачи система оценивает полезность каждого варианта в текущем контексте и предлагает несколько альтернатив с объяснением компромиссов. Предметная логика: формулирует проверяемые объяснения и отделяет предсказания гипотезы от постфактум-интерпретаций. Рабочие входы: исследовательский вопрос, экспериментальные данные, пространство гипотез, параметры системы и физические или статистические модели. Формат результата: несколько вариантов для «Предложение следующего наиболее информативного эксперимента», ранжированных по полезности, ограничениям и причинам выбора. Критерии приёмки: по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
211Активное обучение с выбором данных, которые полезнее всего разметить. — Практическая реализация: AI объединяет историю, текущую ситуацию и обязательные условия, чтобы предложить следующий наиболее обоснованный шаг. Входной контекст включает пространство гипотез, параметры системы, физические или статистические модели и экспериментальные данные. Формат результата: несколько вариантов для «Активное обучение с выбором данных, которые полезнее всего разметить», ранжированных по полезности, ограничениям и причинам выбора. Ошибки выявляют по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
212Поиск новых комбинаций известных компонентов. — Механизм: AI индексирует доступные материалы, понимает смысл запроса и ранжирует кандидатов по содержательному совпадению. Исходные данные: параметры системы, физические или статистические модели, экспериментальные данные и пространство гипотез. Формат результата: ранжированный список кандидатов по задаче «Поиск новых комбинаций известных компонентов» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Проверка: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
213Оценка свойств ещё не созданного объекта. — AI объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. К исходным данным относятся физические или статистические модели, экспериментальные данные, пространство гипотез и параметры системы. Формат результата: оценка по задаче «Оценка свойств ещё не созданного объекта» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Надёжность оценивают сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
214Генерация синтетических данных для редких или опасных сценариев. — Для этой задачи система генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. Рабочие входы: экспериментальные данные, пространство гипотез, параметры системы и физические или статистические модели. Формат результата: редактируемый артефакт по задаче «Генерация синтетических данных для редких или опасных сценариев», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — модель или гипотеза. Критерии приёмки: по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
215Создание цифрового двойника объекта или процесса. — Практическая реализация: AI создаёт новый артефакт по требованиям, исходным фактам и примерам, сохраняя возможность последующего редактирования. Предметная логика: проигрывает альтернативные состояния без воздействия на реальный объект и измеряет чувствительность результата. Входной контекст включает параметры системы, пространство гипотез, физические или статистические модели и экспериментальные данные. Формат результата: редактируемый артефакт по задаче «Создание цифрового двойника объекта или процесса», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — модель или гипотеза. Ошибки выявляют по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
216Выявление механизмов, способных объяснить наблюдаемую зависимость. — Механизм: AI анализирует поток наблюдений и локализует признаки, которые отличают целевой объект или нарушение от обычного состояния. Исходные данные: параметры системы, физические или статистические модели, экспериментальные данные и пространство гипотез. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление механизмов, способных объяснить наблюдаемую зависимость», с локализацией, уверенностью и признаками срабатывания. Проверка: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
217Оценка чувствительности результата к исходным параметрам. — AI сопоставляет наблюдаемое состояние с эталонами, нормативами или историческими аналогами и оценивает степень соответствия. К исходным данным относятся физические или статистические модели, экспериментальные данные, пространство гипотез и параметры системы. Формат результата: оценка по задаче «Оценка чувствительности результата к исходным параметрам» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Надёжность оценивают сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
218Моделирование взаимодействия множества агентов. — Для этой задачи система создаёт вычислительное представление объекта или процесса и проигрывает на нём альтернативные сценарии. Рабочие входы: экспериментальные данные, пространство гипотез, параметры системы и физические или статистические модели. Формат результата: вычислительная модель или карта для «Моделирование взаимодействия множества агентов» с результатами сценариев и анализом чувствительности. Критерии приёмки: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью.
219Автоматическое исследование пространства решений. — Практическая реализация: AI сопоставляет наблюдения, отделяет устойчивые закономерности от случайных совпадений и объясняет влияющие факторы. Входной контекст включает пространство гипотез, параметры системы, физические или статистические модели и экспериментальные данные. Формат результата: объяснимые выводы по задаче «Автоматическое исследование пространства решений» с влияющими факторами, альтернативными трактовками и ссылками на данные. Ошибки выявляют воспроизводимостью расчётов, проверкой источников и сравнением выводов с альтернативными объяснениями; сопоставлением с наблюдениями, тестами чувствительности, оценкой неопределённости и воспроизводимостью. <a id="section-i-14"></a>

0 моделей