/ Профессии
Отраслевые и предметно-специфичные задачи

IV.5Образование и развитие навыков

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

ЭмбеддингиТекст
AI-задач
34
в этой профессии
Подходящих моделей
6 641
по типу задач и модальности
Категория
IV. Отраслевые задачи
Основные типы
ЭмбеддингиТекст

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

6 641 модель
Загрузки
Лайки
Дата выхода
541–570 из 6 641
llm-calibration
RLCR-lr1e-6-math-seed40

RLCR-lr1e-6-math-seed40 — дообученная языковая модель на базе Qwen/Qwen2.5-3B, подготовленная с помощью TRL. Она предназначена для генерации текста в диалоговом формате и может отвечать на вопросы; пример в карточке показывает обычный вопрос, а метаданные указывают на обучение с GRPO и математическую тематику. Модель использует архитектуру Qwen2.5 и содержит около 3,1 млрд параметров согласно описанию базовой модели. Репозиторий предоставляет веса в формате safetensors для библиотеки Transformers. Лицензия и поддерживаемые языки в предоставленных данных не указаны.

4160сент. 2026
texthugging-face
nbeerbower
slerp-bophades-truthy-math-mistral-7B

slerp-bophades-truthy-math-mistral-7B — созданная с помощью mergekit объединённая языковая модель на архитектуре Mistral. Разработчик объединил методом SLERP модели nbeerbower/bophades-mistral-math-DPO-7B и nbeerbower/bophades-mistral-truthy-DPO-7B; размер составляет 7,1 млрд параметров, формат весов — safetensors, библиотека — Transformers. Модель предназначена для генерации текста, включая ответы и рассуждения на математические темы. Контекст — до 32 768 токенов. В README и метаданных не заявлена поддержка конкретных естественных языков. Модель распространяется по лицензии Apache-2.0.

291апр. 2024ctx32.8K
textapache-2.0hugging-face
jatinmehra
smolLM-fined-tuned-for-PLAGAIRISM_Detection

Модель jatinmehra/smolLM-fined-tuned-for-PLAGAIRISM_Detection — англоязычный классификатор для бинарного выявления плагиата в парах предложений. Автор дообучил SmolLM2-135M-Instruct от HuggingFaceTB и адаптировал архитектуру Llama для классификации последовательностей с двумя метками. Модель предназначена для проверки сходства предложений и может применяться при первичном анализе учебных работ. В README сообщается точность 96,20% и F1-мера 0,96 на тестовом наборе из 73 474 примеров; эти показатели относятся к датасету MIT Plagiarism Detection Dataset и не гарантируют такую же точность на других текстах. Модель имеет 134,5 млн параметров, принимает текст, а контекст составляет до 2048 токенов. Распространяется по лицензии MIT.

780апр. 2025ctx2K
textmithugging-face
boyatilak123
StudyLap-Tutor-v2

StudyLap-Tutor-v2 — дообученная авторегрессионная языковая модель семейства Qwen2, разработанная boyatilak123 на основе unsloth/Qwen2.5-7B-Instruct-bnb-4bit с использованием Unsloth и библиотеки Hugging Face TRL. Модель содержит 7,1 млрд параметров, принимает текст и рассчитана на генерацию текста в диалоговом формате; заявленная длина контекста — до 32 768 токенов. Её можно применять как разговорного учебного помощника: задавать вопросы по учебным темам и получать текстовые объяснения или ответы. Карточка не описывает специализированные предметные области, конкретные учебные данные и результаты оценки качества, поэтому пригодность для определённых предметов и точность ответов следует проверять отдельно. Модель распространяется по лицензии Apache-2.0.

911авг. 2026ctx32.8K
textapache-2.0hugging-face
chihoonlee10
T3Q-Mistral-Orca-Math-DPO

T3Q-Mistral-Orca-Math-DPO — текстовая генеративная модель, разработанная Chihoon Lee (chlee10) и T3Q. Это DPO-дообучение модели liminerity/M7-7b на датасете kyujinpy/orca_math_dpo, ориентированное на генерацию ответов, связанных с математикой. Модель построена на плотной архитектуре MistralForCausalLM и содержит 7,1 млрд параметров; максимальный контекст — 32 768 токенов. Карточка указывает английский язык. Модель распространяется в формате safetensors по лицензии Apache-2.0.

527март 2024ctx32.8K
textapache-2.0hugging-face
Habib-HF
tarbiyah-ai-whisper-medium-merged

Tarbiyah AI Whisper Medium Merged — модель автоматического распознавания речи, разработанная для проекта Tilawah AI на основе openai/whisper-medium. Это дообученная модель семейства Whisper с архитектурой encoder-decoder Transformer и 455,8 млн параметров; репозиторий содержит веса safetensors. Модель предназначена прежде всего для расшифровки чтения Корана на арабском языке, включая различные стили рецитации, а также показывает применимость к общей арабской речи. В карточке указаны результаты WER 5,8% на пользовательском наборе чтения Корана, 14,2% на Common Voice 11 Arabic и 11,5% в тесте с шумом. Модель может использоваться для транскрибации аятов и поддержки анализа рецитации в образовательных приложениях. Авторы отмечают, что обучающие данные преимущественно включали мужские голоса, поэтому качество для женских и детских голосов может отличаться; возможен перекос в пользу распространённых стилей, например Хафс ан Асым. Расшифровка не заменяет обучение у квалифицированного преподавателя и не предназначена для религиозных заключений. Лицензия — MIT.

666июнь 2025ctx1K
textaudiomithugging-face
Shaik1903
ThinkLess-2B

ThinkLess-2B — дообученная модель Shaik1903 на базе Qwen3.5-2B, предназначенная для решения математических и научных задач с более короткими рассуждениями. Обучение включало SFT на коротких корректных решениях и короткий этап GRPO с вознаграждением за точность и длину ответа; в карточке также указано использование самодистилляции и учителя той же семьи размером 9 млрд параметров для сложных задач. Модель рассчитана на генерацию ответов и рассуждений на английском языке. В тестах GSM8K, MATH-500 и GPQA-Diamond она использовала меньше токенов, чем базовая модель, и показала более высокую точность; автор также сообщает о снижении числа незавершённых ответов. Для подачи обычно применяются Transformers, а ускоренный сценарий обслуживания с vLLM и MTP speculative decoding показан отдельно. Контекстный бюджет в описанных оценках составлял 81 920 токенов. Карточка сообщает о снижении точности на олимпиадных задачах относительно базовой модели и о чувствительности к 4-битной AWQ-квантизации; такая версия не опубликована. Обучение проводилось только на английских математических задачах, поэтому перенос на науку проверялся отдельно, а результаты основаны на одном запуске обучения. Лицензия — Apache-2.0.

3470сент. 2026ctx262.1K
textapache-2.0hugging-face
aboalaa1472
whisper-quran-lora-v2

aboalaa1472 разработал Whisper Quranic ASR v2 как дообученную и полностью объединённую версию Whisper Large V3 Turbo, предназначенную для распознавания речи при чтении Корана на арабском языке. Модель принимает аудио и выдаёт текстовую транскрипцию; она рассчитана на работу с особенностями коранической рецитации, включая таджвид, протяжные гласные и различия в темпе чтения. Веса LoRA-адаптера объединены с базовыми параметрами, поэтому модель загружается как обычная модель Whisper без отдельной зависимости от PEFT. Для обучения использован датасет EveryAyah: 5 000 обучающих и 500 проверочных записей; при подготовке аудио применялись преобразования высоты тона и скорости воспроизведения. В карточке указана лицензия MIT. Количественные результаты распознавания и независимая оценка качества не приведены.

230июнь 2026
textaudiomithugging-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
nvidia
AceMath-72B-Instruct

AceMath-72B-Instruct — языковая модель NVIDIA для решения математических задач. Она основана на архитектуре Qwen2 и содержит 71,5 млрд параметров; модель дообучена на базе Qwen2.5-Math-72B-Base в несколько этапов: сначала на общих инструкционных данных, затем на специализированных математических примерах. Модель предназначена для решения задач на английском языке с пошаговыми рассуждениями Chain-of-Thought. Её можно использовать в диалоговых интерфейсах, где требуется получить решение математической задачи. В README сообщается о высоких результатах на математических бенчмарках, однако модель рекомендуется именно для математики. Контекст составляет 4096 токенов. Модель принимает и генерирует текст. Лицензия CC-BY-NC-4.0 разрешает использование с указанием авторства, но запрещает коммерческое применение.

22922янв. 2025ctx4.1K
textcc-by-nc-4.0hugging-face
upaya07
Arithmo2-Mistral-7B

Arithmo2-Mistral-7B — англоязычная языковая модель для математических рассуждений, разработанная Ashvini Kumar Jindal. Это финальная объединённая версия дообученной с помощью QLoRA модели на базе mistralai/Mistral-7B-v0.1; архитектура — плотная MistralForCausalLM, размер — 7,1 млрд параметров, контекст — 32 768 токенов. Модель предназначена для решения математических задач с пошаговым объяснением (CoT) или генерацией Python-программы для вычисления ответа (PoT). В README сообщается об улучшении результатов относительно первой версии Arithmo-Mistral-7B на GSM8K и MATH. Модель принимает текстовые вопросы и генерирует текст с рассуждением или программой; для PoT выполнение программы происходит отдельно во время инференса. Модель распространяется по лицензии MIT. Она специализирована на математических задачах и обучена на английском языке; качество на других языках и за пределами математических сценариев не описано.

348янв. 2024ctx32.8K
textmithugging-face
youngseok12
AX-3.1-Light-sft_v3_2_aihub_extension

A.X-3.1-Light SFT v3.2 AI Hub Extension — корейскоязычная модель генерации текста от автора youngseok12, дообученная на базе skt/A.X-3.1-Light. Модель имеет плотную архитектуру семейства Llama и около 6,8 млрд параметров; она принимает текстовые запросы и поддерживает контекст до 32 768 токенов. Модель предназначена для ответов на вопросы на корейском языке, выполнения инструкций и исследовательской оценки. Она дообучена методом supervised fine-tuning с LoRA на 13 801 отобранном примере, после чего адаптер объединён с базовой моделью; опубликованы самостоятельные веса BF16 в формате safetensors. Для вопросов с выбором ответа и задач с кратким ответом модель обучали сначала давать ключевой ответ, а при необходимости добавлять краткое обоснование. Результаты могут быть неточными, поэтому модель не следует использовать как единственное основание для медицинских, юридических или финансовых решений. Лицензия — Apache-2.0; для обучающих данных AI Hub необходимо соблюдать условия их использования.

190авг. 2026ctx32.8K
textapache-2.0hugging-face
ALBADDAWI
DeepCode-7B-Aurora-v12

DeepCode-7B-Aurora-v12 — объединённая модель, опубликованная пользователем ALBADDAWI и созданная с помощью LazyMergekit на основе DeepSeekMath-7B-RL. Это плотная авторегрессионная модель семейства Llama с 6,5 млрд параметров, предназначенная для генерации текста в диалоговом формате; базовая модель ориентирована на ответы и решение математических задач. Конфигурация README указывает на объединение нескольких копий одной и той же базовой модели методом model_stock. Модель принимает текст и генерирует текст, поддерживает контекст длиной до 4096 токенов и распространяется в формате safetensors. Лицензия — CreativeML OpenRAIL-M. Карточка не приводит результатов оценки качества или сведений о дополнительном обучении на коде, поэтому специализацию на программировании по названию подтвердить нельзя.

190апр. 2024ctx4.1K
textcreativeml-openrai…hugging-face
UNIVA-Bllossom
DeepSeek-qwen-Bllossom-32B

DeepSeek-qwen-Bllossom-32B — плотная языковая модель семейства Qwen2, разработанная совместно UNIVA и командой Bllossom на основе DeepSeek-R1-Distill-Qwen-32B. Модель содержит 32 млрд параметров, использует библиотеку Transformers и формат весов safetensors; длина контекста составляет 131 072 токена. Она дообучена на корейских и английских данных рассуждений, чтобы улучшить рассуждения на корейском и уменьшить смешивание языков: внутренний ход рассуждений может быть на английском, а итоговый ответ формируется на языке запроса. Модель предназначена для диалогов и решения сложных задач, в частности математических и логических вопросов, на корейском и английском языках. В карточке приведены результаты сравнительных тестов AIME24 и MATH500 на английском и корейском языках; они описывают конкретный протокол оценки и не гарантируют точность на других задачах. Модель распространяется по лицензии MIT.

276апр. 2025ctx131.1K
textmithugging-face
Anvil-ML
detecteur-ia

Anvil-ML/detecteur-ia — франкоязычный классификатор текста, разработанный Anvil-ML для определения, написан ли текст человеком или языковой моделью, например ChatGPT или LLaMA. Модель основана на BARThez и использует архитектуру mBART для классификации последовательностей; размер составляет 95 млн параметров, максимальный контекст — 1024 токена. Она обучалась на 15 000 французских статей и их резюме, созданных людьми и ИИ. Модель предназначена для предварительной проверки текстов, в том числе в образовательной среде. По описанию автора, она рассчитана на выявление текста, целиком созданного ИИ, и может классифицировать как человеческий текст материал, сгенерированный ИИ, но затем переписанный человеком. Лицензия CC BY-NC-SA 4.0 допускает использование с атрибуцией и на условиях распространения производных материалов по той же лицензии, но запрещает коммерческое применение.

1070март 2023ctx1K
textcc-by-nc-sa-4.0hugging-face
FractalAIResearch
Fathom-R1-14B

Fathom-R1-14B — 14-миллиардная плотная языковая модель от FractalAIResearch для генерации текста и решения задач с пошаговыми рассуждениями. Она дообучена на базе deepseek-ai/DeepSeek-R1-Distill-Qwen-14B с использованием курируемых математических данных и итеративного обучения по сложности; авторы также описывают этап объединения моделей. Модель ориентирована прежде всего на сложные математические задачи, включая олимпиадные задачи AIME и HMMT. В README авторы сообщают о результатах на этих экзаменах при контексте обучения до 16K токенов; метаданные указывают нативный контекст 131072 токена. Модель использует архитектуру Qwen2 и распространяется в формате safetensors для Transformers. Она принимает текст и генерирует текст; метаданные также отмечают чатовый интерфейс и интерфейс вызова инструментов. В README указана лицензия MIT. Описанные результаты относятся к оценкам авторов и конкретным экзаменационным настройкам, поэтому не гарантируют точность на любых математических или иных запросах.

344290май 2025ctx131.1K
textmithugging-face
kyungeun
gemma-2-9b-it-mathinstruct

kyungeun/gemma-2-9b-it-mathinstruct — чат-модель на архитектуре Gemma 2, созданная дообучением google/gemma-2-9b-it на наборе MathInstruct. Она предназначена для генерации ответов на математические запросы и решения задач в диалоговом формате. Модель содержит 9 млрд параметров, принимает текст и поддерживает контекст длиной до 8192 токенов. В метаданных указан английский язык и библиотека Transformers. Модель распространяется в формате safetensors по лицензии Apache-2.0. Карточка не приводит результатов оценки качества или подробностей о поддерживаемых разделах математики, поэтому качество решения конкретных классов задач по этим данным определить нельзя.

275июль 2024ctx8.2K
textapache-2.0hugging-face
Jackrong
gpt-oss-120b-Distill-Llama3.1-8B-v2

Jackrong/gpt-oss-120b-Distill-Llama3.1-8B-v2 — языковая модель, разработанная Soren на основе Llama 3.1 8B и дообученная для улучшения рассуждений. В README описаны дистилляция ответов более крупных моделей, supervised fine-tuning и последующее обучение с подкреплением GRPO. Модель насчитывает 7,5 млрд параметров, использует плотную архитектуру Llama и поддерживает контекст до 131 072 токенов. Модель предназначена прежде всего для диалогового решения математических задач и других запросов, требующих пошагового рассуждения. Она обучалась на смешанных китайских и английских данных и может выдавать подробный ход рассуждений в заданном формате. По описанию автора, среди сильных сторон — решение алгебраических текстовых задач; модель уступает ведущим специализированным системам рассуждения и не умеет вызывать внешние инструменты. Лицензия — Llama 3.1.

4505окт. 2025ctx131.1K
textllama3.1hugging-face
Rifky
Indobert-QA

Rifky/Indobert-QA — индонезийская модель для ответов на вопросы, созданная дообучением IndoBERT Base-Uncased на переведённом датасете SQuAD 2.0. Это BERT-модель с архитектурой BertForQuestionAnswering и 137,8 млн параметров; она принимает вопрос и текстовый фрагмент и извлекает из него ответ, а если в тексте нет подтверждения, может воздержаться от ответа. Контекст ограничен 512 токенами. Модель предназначена для систем вопросно-ответного поиска по текстам и учебных помощников, в частности для сценариев чтения на индонезийском языке. В README для оценки на SQuAD 2.0 приведены EM 51,61 и F1 69,09. Модель распространяется в форматах PyTorch и safetensors по лицензии Apache-2.0.

14516март 2022ctx512
textapache-2.0hugging-face
QuantFactory
internlm2-math-plus-7b-GGUF

QuantFactory/internlm2-math-plus-7b-GGUF — квантизированная версия языковой модели InternLM2-Math-Plus-7B, созданная с использованием llama.cpp на основе модели internlm/internlm2-math-plus-7b. Модель предназначена для генерации текста и решения математических задач, включая неформальное математическое рассуждение, пошаговое объяснение решений, работу с Python для вычислений, перевод математических утверждений в LEAN 4 и формальное доказательство теорем. Известно, что модель относится к классу 7B и поддерживает английский и китайский языки. Формат GGUF ориентирован на запуск через совместимые инструменты экосистемы llama.cpp и может быть удобен для локального инференса, однако конкретный уровень квантизации, требования к памяти, размер контекста и точная архитектура в README не указаны. В опубликованных результатах базовая версия InternLM2-Math-Plus-7B показывает 53,0 на MATH, 59,7 на MATH с Python, 85,8 на GSM8K и 43,4 на MiniF2F-test. Сильная сторона модели — специализация на математическом рассуждении, включая как прикладные задачи, так и формальную математику. Ограничения связаны с отсутствием сведений о конкретной схеме квантизации и системных требованиях, а также с тем, что приведённые показатели относятся к исходной версии InternLM2-Math-Plus-7B и не обязательно полностью отражают характеристики квантизированного файла. Лицензия указана как other, без дополнительных условий в README.

1.6K0май 2024
textotherhugging-face
pymlex
ipa-transcriptor-300M

IPA Transcriptor 300M — дообученная pymlex байтовая модель google/byt5-small на базе архитектуры T5. Она преобразует английские слова в фонетическую транскрипцию IPA, например analytical → ˌænəˈlɪtɪkəl. Модель обучена на 125 925 очищенных парах «английское слово — транскрипция IPA» из фонетического словаря. Веса доступны в форматах Safetensors и ONNX; для запуска используется библиотека Transformers. Общее число параметров — 364,6 млн. Модель предназначена для получения IPA-транскрипций отдельных английских слов и может применяться в инструментах изучения произношения или фонетической обработки текста. В README приведены значения loss и perplexity на валидационной и тестовой выборках, однако данных о качестве на других типах текста нет. Лицензия — GPL-3.0.

1490май 2026
textgpl-3.0hugging-face
hbx
JustRL-Nemotron-1.5B

JustRL-Nemotron-1.5B — языковая модель для математических рассуждений, созданная авторами проекта JustRL на основе OpenMath-Nemotron-1.5B от NVIDIA. Модель дообучена методом GRPO в один этап с фиксированными гиперпараметрами и бинарной наградой за правильный ответ на задачах из DAPO-Math-17k. Модель построена на плотной архитектуре Qwen2, содержит 1,5 млрд параметров и принимает текстовые запросы, выдавая текстовые решения. Метаданные указывают контекст до 131 072 токенов; в описании обучения указан лимит в 16 тыс. токенов, а пример запуска vLLM задаёт максимум 32 768 токенов. Карточка сообщает о результатах на математических бенчмарках, включая среднее 64,32% по девяти наборам тестов и лидерство на пяти из них в приведённом сравнении. Модель предназначена прежде всего для решения и объяснения математических задач. Её метод проверки награды основан на сопоставлении строк без SymPy, поэтому карточка не подтверждает формальную проверку эквивалентности ответов. Модель распространяется по лицензии Apache-2.0.

1313окт. 2025ctx131.1K
textapache-2.0hugging-face
reaperdoesntknow
LFM2.5-1.2B-Distilled-SFT

LFM2.5-1.2B-Distilled-SFT — компактная языковая модель Convergent Intelligence LLC, созданная на базе liquid/LFM2.5-1.2B-Instruct. Это плотная гибридная архитектура LFM2.5, сочетающая SSM и attention; по метаданным содержит 1,5 млрд параметров и поддерживает контекст до 128 000 токенов. Модель прошла дистилляцию знаний от LFM2-24B-A2B на задачах STEM и дообучение с учителем на примерах логического вывода. Модель предназначена для генерации текста с пошаговыми решениями математических и естественно-научных задач, логического вывода и диалоговых сценариев. В карточке заявлены применение на устройствах и периферийных системах с ограниченными ресурсами и высокая скорость инференса на процессорах AMD; также указано, что модель лучше справляется с шаблонами пропозициональной логики из обучающих данных. К ограничениям относятся небольшой размер модели, ограниченная способность к сложным доказательствам и вложенным кванторам, а также необходимость проверять ответы. README предостерегает от использования для формальной верификации доказательств и критически важных систем и указывает ограничение в 1024 токена для длинного контекста, что расходится с контекстом 128 000 токенов в метаданных. Лицензия — Apache-2.0.

2.7K0март 2026ctx128K
textapache-2.0hugging-face
jpwahle
longformer-base-plagiarism-detection

Это модель Longformer-base, дообученная на наборе данных Machine-Paraphrased Plagiarism Dataset для классификации текста при обнаружении плагиата, созданного машинным перефразированием. Она предназначена для проверки текстов на сходство с возможным источником плагиата и классификации таких случаев. Архитектура LongformerForSequenceClassification содержит 151,8 млн параметров и поддерживает контекст до 4098 токенов. Модель принимает текст и выдаёт метки классификации; карточка указывает английский язык. Веса доступны в форматах PyTorch и Safetensors. Лицензия в предоставленных данных не указана.

12617март 2022ctx4.1K
texthugging-face
Elliott
LUFFY-Qwen-Math-7B-Zero

LUFFY-Qwen-Math-7B-Zero — чат-модель Elliott для генерации решений математических задач. Она основана на Qwen/Qwen2.5-Math-7B и дообучена методом reinforcement learning с использованием подхода LUFFY: обучение сочетает собственные генерации модели с готовыми трассами рассуждений, а policy shaping помогает учитывать важные действия с низкой вероятностью. В метаданных указаны архитектура Qwen2, 7,1 млрд параметров, контекст 16 384 токена и библиотека Transformers. Модель предназначена для пошагового решения конкурсных задач по математике и проверки математических рассуждений. В README сообщается об оценке на AIME, AMC, MATH-500, Minerva и олимпиадных тестах, а также о проверках обобщения на ARC-C, GPQA и MMLU-Pro. Базовая Qwen2.5-Math рассчитана на английский и китайский языки; отдельное подтверждение языкового охвата самой производной модели в карточке не приведено. Модель выпущена по лицензии MIT. Приведённые в карточке результаты относятся к указанным бенчмаркам и сами по себе не гарантируют точность в других задачах; ответы следует проверять, особенно при использовании вне математической области.

671апр. 2025ctx16.4K
textmithugging-face
TIGER-Lab
MAmmoTH2-8x7B-Plus

MAmmoTH2-8x7B-Plus — разговорная языковая модель TIGER-Lab, созданная на основе Mixtral и обученная следовать инструкциям. Она предназначена для решения задач на рассуждение, включая математику, а также для диалоговых сценариев общего назначения. Модель построена на архитектуре Mixtral с разреженной смесью экспертов; в метаданных указано 7,1 млрд параметров и контекст до 32 768 токенов. Для работы используется библиотека Transformers, веса доступны в формате safetensors. Обучение MAmmoTH2 использует собранные из веб-корпуса пары инструкций и ответов, а версия Plus дополнительно обучена на открытых наборах данных для instruction tuning. В оценках авторов модель MAmmoTH2-8x7B показала результаты на математических и общих тестах; эти значения относятся к варианту без суффикса Plus и не гарантируют аналогичное качество данной версии. Модель принимает текст и генерирует текст, а карточка указывает английский язык. Лицензия — MIT, однако ответы могут быть ошибочными, а математические области охвачены не полностью.

8.7K15май 2024ctx32.8K
textmithugging-face
MathGenie
MathCoder2-CodeLlama-7B

Карточка модели MathGenie/MathCoder2-CodeLlama-7B на Hugging Face совпадает с карточкой MathGenie/MathCoder2-Llama-3-8B, поэтому описание составлено по ней. MathCoder2-Llama-3-8B — языковая модель MathGenie для генерации текста с упором на математические рассуждения и код. Она создана продолжением предобучения Meta-Llama-3-8B на наборе MathCode-Pile, содержащем математический код и сопровождающие его рассуждения на естественном языке. Модель с плотной архитектурой Llama насчитывает 7,5 млрд параметров, принимает текст и рассчитана на контекст до 8192 токенов. Она предназначена для решения математических задач, объяснения хода рассуждений и работы с математическим кодом на английском языке. В карточке указана лицензия Apache-2.0. Специализация на математике не гарантирует правильность вычислений или сгенерированного кода.

395сент. 2024ctx16.4K
textapache-2.0hugging-face
MaziyarPanahi
MetaMath-Cybertron-Starling-Mistral-7B-Instruct-v0.1

MetaMath-Cybertron-Starling-Mistral-7B-Instruct-v0.1 — объединённая авторами MaziyarPanahi модель на архитектуре Mistral для диалоговой генерации текста и ответов на инструкции. Она создана слиянием mistralai/Mistral-7B-Instruct-v0.1 и Q-bert/MetaMath-Cybertron-Starling методом SLERP; конфигурация задаёт формат bfloat16. Модель содержит 7,1 млрд параметров и имеет контекст до 32 768 токенов. Модель предназначена для диалога и генерации ответов, в том числе для математических вопросов и задач, на что указывают название и метаданные о MetaMathQA. Метаданные указывают английский язык. Репозиторий распространяется по лицензии Apache-2.0. Поскольку это слияние двух моделей, конкретное качество на математических и общих задачах зависит от запроса; README не приводит результатов оценки или дополнительных рекомендаций по применению.

200янв. 2024ctx32.8K
textapache-2.0hugging-face
MaziyarPanahi
MetaMath-Mistral-7B-Mistral-7B-Instruct-v0.1

MaziyarPanahi/MetaMath-Mistral-7B-Mistral-7B-Instruct-v0.1 — объединённая чат-модель на архитектуре Mistral для генерации текста и ответов на инструкции. Она создана слиянием mistralai/Mistral-7B-Instruct-v0.1 и meta-math/MetaMath-Mistral-7B методом SLERP; в метаданных указано 7,1 млрд параметров и контекст до 32 768 токенов. Модель рассчитана на диалоговые запросы и математические задачи, связанные с MetaMathQA. Поддерживает формат safetensors и распространяется по лицензии Apache-2.0.

200янв. 2024ctx32.8K
textapache-2.0hugging-face
kevinpro
MetaMathOctopus-MAPO-DPO-13B

Карточка модели kevinpro/MetaMathOctopus-MAPO-DPO-13B на Hugging Face совпадает с карточкой kevinpro/MetaMathOctopus-7B, поэтому описание составлено по ней. MetaMathOctopus-7B — генеративная языковая модель на базе архитектуры Llama, опубликованная пользователем kevinpro. По названию и приведённым в карточке бенчмаркам MSVAMP, MGSM и MNumGLUESub модель предназначена для решения математических задач, в том числе многоязычных. Модель содержит 6,6 млрд параметров, принимает текст и генерирует текст; длина контекста — 4096 токенов. В метаданных указаны языки как multilingual, но конкретные языки README не перечисляет. Репозиторий содержит веса в формате Safetensors, лицензия — Apache-2.0. Карточка приводит результаты сравнения с GPT-3.5-Turbo, MAmmoTH и WizardMath на математических наборах, однако доступный фрагмент не содержит результатов самой MetaMathOctopus-7B, поэтому по нему нельзя оценить её точность или сравнить качество с другими моделями. Модель можно рассматривать для экспериментального применения в генерации ответов и рассуждений по математическим задачам.

180февр. 2024ctx4.1K
textapache-2.0hugging-face

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

34 задачи
863Оценка текущего уровня владения каждым учебным понятием по истории ответов ученика. — AI сопоставляет наблюдаемое состояние с эталонами, нормативами или историческими аналогами и оценивает степень соответствия. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. К исходным данным относятся учебные материалы, ответы и история прогресса и цели обучения. Формат результата: оценка по задаче «Оценка текущего уровня владения каждым учебным понятием по истории ответов ученика» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Надёжность оценивают сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
864Диагностика конкретного ошибочного представления, лежащего за неправильным ответом. — Для этой задачи система выделяет информативные признаки, сравнивает их с нормой и отмечает случаи, соответствующие искомому событию. Рабочие входы: учебные материалы, ответы ученика, цели курса и рубрики оценивания. Формат результата: перечень объектов, событий или отклонений, относящихся к «Диагностика конкретного ошибочного представления, лежащего за неправильным ответом», с локализацией, уверенностью и признаками срабатывания. Критерии приёмки: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
865Выбор следующего учебного шага по модели освоенных зависимостей между темами. — Практическая реализация: AI оценивает полезность каждого варианта в текущем контексте и предлагает несколько альтернатив с объяснением компромиссов. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Входной контекст включает учебные материалы, ответы и история прогресса и цели обучения. Формат результата: несколько вариантов для «Выбор следующего учебного шага по модели освоенных зависимостей между темами», ранжированных по полезности, ограничениям и причинам выбора. Ошибки выявляют по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
866Адаптация сложности задания в реальном времени без снижения учебной цели. — Механизм: AI обновляет персональные настройки по обратной связи и отделяет устойчивые предпочтения от случайного поведения. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Исходные данные: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: адаптированный вариант для «Адаптация сложности задания в реальном времени без снижения учебной цели» с указанием контекста и факторов, определивших персонализацию. Проверка: по пользовательской обратной связи, долгосрочной полезности и отсутствию нежелательной дискриминации; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
867Определение момента, когда ученику нужна подсказка, объяснение или вмешательство преподавателя. — AI сопоставляет наблюдаемые признаки с критериями и устанавливает требуемое значение, состояние или вариант. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. К исходным данным относятся учебные материалы, ответы и история прогресса и цели обучения. Формат результата: установленное значение или вариант по задаче «Определение момента, когда ученику нужна подсказка, объяснение или вмешательство преподавателя» с оценкой уверенности и основаниями решения. Надёжность оценивают по точности относительно эталона, калибровке уверенности и разбору случаев, где источники расходятся; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
868Генерация подсказки, которая продвигает рассуждение, но не раскрывает готовый ответ. — Для этой задачи система собирает содержание и структуру из заданных ограничений, затем формирует несколько вариантов для выбора и доработки. Рабочие входы: история прогресса, доступность ресурсов, учебные материалы и ответы ученика. Формат результата: редактируемый артефакт по задаче «Генерация подсказки, которая продвигает рассуждение, но не раскрывает готовый ответ», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — учебный материал или решение. Критерии приёмки: по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
869Сократический диалог, заставляющий ученика проверять собственные предположения. — Практическая реализация: AI агрегирует разрозненные сигналы в целостную картину и показывает, какие данные поддерживают каждый вывод. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Входной контекст включает учебные материалы, ответы и история прогресса и цели обучения. Формат результата: объяснимые выводы по задаче «Сократический диалог, заставляющий ученика проверять собственные предположения» с влияющими факторами, альтернативными трактовками и ссылками на данные. Ошибки выявляют воспроизводимостью расчётов, проверкой источников и сравнением выводов с альтернативными объяснениями; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
870Пошаговая проверка математического, логического или программного решения. — Механизм: AI разлагает требования на проверяемые условия и последовательно сопоставляет с ними каждую часть объекта. Исходные данные: учебные материалы, ответы ученика, цели курса и рубрики оценивания. Формат результата: протокол выполнения «Пошаговая проверка математического, логического или программного решения» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Проверка: повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
871Оценка не только конечного ответа, но и качества аргументации и метода. — AI объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. К исходным данным относятся ответы ученика, цели курса, рубрики оценивания и история прогресса. Формат результата: оценка по задаче «Оценка не только конечного ответа, но и качества аргументации и метода» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Надёжность оценивают сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
872Распознавание рукописного решения и сопоставление его шагов с допустимыми стратегиями. — Для этой задачи система сочетает обученные шаблоны с контрольными правилами, чтобы находить значимые случаи и не пропускать пограничные примеры. Рабочие входы: цели курса, рубрики оценивания, история прогресса и доступность ресурсов. Формат результата: перечень объектов, событий или отклонений, относящихся к «Распознавание рукописного решения и сопоставление его шагов с допустимыми стратегиями», с локализацией, уверенностью и признаками срабатывания. Критерии приёмки: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
873Автоматическая обратная связь по произношению, беглости и интонации при изучении языка. — Практическая реализация: AI обрабатывает исходные данные по формализованным правилам и обученным закономерностям, чтобы получить проверяемый результат. Входной контекст включает рубрики оценивания, история прогресса, доступность ресурсов и учебные материалы. Формат результата: конкретный результат по задаче «Автоматическая обратная связь по произношению, беглости и интонации при изучении языка» с исходными данными, промежуточными основаниями и возможностью проверки. Ошибки выявляют сверкой с эталонными случаями, воспроизводимостью и экспертной проверкой результата; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
874Моделирование собеседника для языковой, переговорной или профессиональной практики. — Механизм: AI восстанавливает скрытые связи между параметрами и использует модель для виртуальных экспериментов. Исходные данные: история прогресса, доступность ресурсов, учебные материалы и ответы ученика. Формат результата: вычислительная модель или карта для «Моделирование собеседника для языковой, переговорной или профессиональной практики» с результатами сценариев и анализом чувствительности. Проверка: сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
875Создание безопасного симулятора лабораторной, клинической или производственной ситуации. — AI генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. К исходным данным относятся доступность ресурсов, учебные материалы, ответы ученика и цели курса. Формат результата: редактируемый артефакт по задаче «Создание безопасного симулятора лабораторной, клинической или производственной ситуации», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — учебный материал или решение. Надёжность оценивают по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
876Адаптивное интервальное повторение с прогнозом момента забывания. — Для этой задачи система строит прогностическую модель на исторических наблюдениях, добавляет текущие сигналы и оценивает несколько вариантов развития. Рабочие входы: учебные материалы, ответы ученика, цели курса и рубрики оценивания. Формат результата: прогноз для условия «Адаптивное интервальное повторение с прогнозом момента забывания» с горизонтом, вероятностями сценариев, диапазоном неопределённости и главными влияющими факторами. Критерии приёмки: на отложенных периодах, по калибровке вероятностей, ошибке прогноза и устойчивости к изменению предпосылок; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
877Построение персональной карты пробелов в знаниях. — Практическая реализация: AI восстанавливает скрытые связи между параметрами и использует модель для виртуальных экспериментов. Входной контекст включает ответы ученика, цели курса, рубрики оценивания и история прогресса. Формат результата: вычислительная модель или карта для «Построение персональной карты пробелов в знаниях» с результатами сценариев и анализом чувствительности. Ошибки выявляют сопоставлением с наблюдениями, тестами чувствительности и воспроизводимостью вычислений; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
878Сопоставление учебной программы с целевыми компетенциями и профессиональными стандартами. — Механизм: AI сопоставляет объекты по одинаковым критериям и отделяет содержательные различия от различий формата или терминологии. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Исходные данные: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: карта соответствий и различий для «Сопоставление учебной программы с целевыми компетенциями и профессиональными стандартами», где элементы приведены к единым критериям и связаны с первичными данными. Проверка: экспертной сверкой соответствий и проверкой, что различия не вызваны несовместимыми форматами; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
879Выявление отсутствующей предпосылки, из-за которой студент не понимает последующую тему. — AI выделяет информативные признаки, сравнивает их с нормой и отмечает случаи, соответствующие искомому событию. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. К исходным данным относятся учебные материалы, ответы и история прогресса и цели обучения. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление отсутствующей предпосылки, из-за которой студент не понимает последующую тему», с локализацией, уверенностью и признаками срабатывания. Надёжность оценивают по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
880Оценка сложности и различающей способности тестового задания. — Для этой задачи система объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Рабочие входы: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: оценка по задаче «Оценка сложности и различающей способности тестового задания» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Критерии приёмки: сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
881Формирование адаптивного теста, сокращающего число вопросов без потери точности оценки. — Практическая реализация: AI генерирует черновой результат, согласованный с контекстом, форматом и стилевыми требованиями задачи. Входной контекст включает доступность ресурсов, учебные материалы, ответы ученика и цели курса. Формат результата: редактируемый артефакт по задаче «Формирование адаптивного теста, сокращающего число вопросов без потери точности оценки», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — учебный материал или решение. Ошибки выявляют по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
882Обнаружение некорректного, двусмысленного или культурно смещённого экзаменационного вопроса. — Механизм: AI выделяет информативные признаки, сравнивает их с нормой и отмечает случаи, соответствующие искомому событию. Исходные данные: учебные материалы, ответы ученика, цели курса и рубрики оценивания. Формат результата: перечень объектов, событий или отклонений, относящихся к «Обнаружение некорректного, двусмысленного или культурно смещённого экзаменационного вопроса», с локализацией, уверенностью и признаками срабатывания. Проверка: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
883Сопоставление ответа с рубрикой при сохранении возможности преподавателя пересмотреть оценку. — AI строит единое пространство признаков и устанавливает соответствия между элементами, которые описаны по-разному. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. К исходным данным относятся учебные материалы, ответы и история прогресса и цели обучения. Формат результата: карта соответствий и различий для «Сопоставление ответа с рубрикой при сохранении возможности преподавателя пересмотреть оценку», где элементы приведены к единым критериям и связаны с первичными данными. Надёжность оценивают экспертной сверкой соответствий и проверкой, что различия не вызваны несовместимыми форматами; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
884Поиск необоснованных цитат, неверных ссылок и скрытого текстового заимствования в учебной работе. — Для этой задачи система обходит разрешённые источники, объединяет найденное и отсеивает нерелевантные либо дублирующиеся результаты. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Рабочие входы: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: ранжированный список кандидатов по задаче «Поиск необоснованных цитат, неверных ссылок и скрытого текстового заимствования в учебной работе» со ссылками на источники, оценкой соответствия и фрагментами подтверждения. Критерии приёмки: по релевантности, полноте, отсутствию недопустимых источников и точности ссылок на подтверждение; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
885Формирование учебных групп с учётом взаимодополняющих навыков и доступности. — Практическая реализация: AI создаёт новый артефакт по требованиям, исходным фактам и примерам, сохраняя возможность последующего редактирования. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Входной контекст включает учебные материалы, ответы и история прогресса и цели обучения. Формат результата: редактируемый артефакт по задаче «Формирование учебных групп с учётом взаимодополняющих навыков и доступности», согласованный с исходными фактами, форматом и ограничениями; тип артефакта — учебный материал или решение. Ошибки выявляют по соответствию фактам, требованиям, формату и качеству последующей экспертной доработки; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
886Подбор партнёра для взаимного обучения или наставника. — Механизм: AI оценивает полезность каждого варианта в текущем контексте и предлагает несколько альтернатив с объяснением компромиссов. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Исходные данные: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: несколько вариантов для «Подбор партнёра для взаимного обучения или наставника», ранжированных по полезности, ограничениям и причинам выбора. Проверка: по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
887Прогноз риска академического отставания по ранним, педагогически значимым сигналам. — AI сопоставляет прошлые случаи с текущим состоянием и моделирует, как результат меняется при разных предпосылках. К исходным данным относятся доступность ресурсов, учебные материалы, ответы ученика и цели курса. Формат результата: прогноз для условия «Прогноз риска академического отставания по ранним, педагогически значимым сигналам» с горизонтом, вероятностями сценариев, диапазоном неопределённости и главными влияющими факторами. Надёжность оценивают на отложенных периодах, по калибровке вероятностей, ошибке прогноза и устойчивости к изменению предпосылок; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
888Выбор подходящей меры поддержки вместо простого присвоения студенту категории риска. — Для этой задачи система сопоставляет цели и ограничения пользователя со свойствами доступных вариантов и ранжирует наиболее подходящие. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Рабочие входы: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: несколько вариантов для «Выбор подходящей меры поддержки вместо простого присвоения студенту категории риска», ранжированных по полезности, ограничениям и причинам выбора. Критерии приёмки: по полезности для пользователя, соблюдению ограничений и качеству результата после принятия рекомендации; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
889Оптимизация расписания занятий с учётом помещений, преподавателей и педагогических ограничений. — Практическая реализация: AI строит пространство допустимых решений и подбирает параметры, улучшающие результат без нарушения обязательных ограничений. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Входной контекст включает учебные материалы, ответы и история прогресса и цели обучения. Формат результата: рекомендуемая конфигурация для «Оптимизация расписания занятий с учётом помещений, преподавателей и педагогических ограничений» с целевыми показателями, ограничениями и сравнением с исходным вариантом. Ошибки выявляют сравнением с базовым решением, проверкой всех ограничений и испытанием устойчивости при изменении условий; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
890Прогноз спроса на дисциплины и необходимого числа учебных мест. — Механизм: AI сопоставляет прошлые случаи с текущим состоянием и моделирует, как результат меняется при разных предпосылках. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Исходные данные: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: прогноз для условия «Прогноз спроса на дисциплины и необходимого числа учебных мест» с горизонтом, вероятностями сценариев, диапазоном неопределённости и главными влияющими факторами. Проверка: на отложенных периодах, по калибровке вероятностей, ошибке прогноза и устойчивости к изменению предпосылок; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
891Академическое консультирование с проверкой пререквизитов и требований к выпуску. — AI разлагает требования на проверяемые условия и последовательно сопоставляет с ними каждую часть объекта. К исходным данным относятся рубрики оценивания, история прогресса, доступность ресурсов и учебные материалы. Формат результата: протокол выполнения «Академическое консультирование с проверкой пререквизитов и требований к выпуску» с пройденными условиями, найденными нарушениями и спорными местами для ручного решения. Надёжность оценивают повторным запуском на эталонных примерах, ручной проверкой спорных случаев и полнотой контрольного покрытия; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
892Сопоставление ранее полученного обучения и опыта с требованиями образовательной программы. — Для этой задачи система строит единое пространство признаков и устанавливает соответствия между элементами, которые описаны по-разному. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Рабочие входы: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: карта соответствий и различий для «Сопоставление ранее полученного обучения и опыта с требованиями образовательной программы», где элементы приведены к единым критериям и связаны с первичными данными. Критерии приёмки: экспертной сверкой соответствий и проверкой, что различия не вызваны несовместимыми форматами; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
893Преобразование одного учебного объекта в несколько форматов для разных способов восприятия. — Практическая реализация: AI переводит объект в новый формат или вид, контролируя потери информации и нежелательные артефакты. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Входной контекст включает учебные материалы, ответы и история прогресса и цели обучения. Формат результата: преобразованный материал по задаче «Преобразование одного учебного объекта в несколько форматов для разных способов восприятия» с сохранённым содержанием и журналом значимых изменений. Ошибки выявляют сравнением смысла и структуры до и после преобразования, а также поиском потерянных элементов; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
894Анализ того, на каких шагах курса массово теряются или ошибаются учащиеся. — Механизм: AI разбирает данные по существенным признакам, выявляет связи и формирует выводы с привязкой к исходным свидетельствам. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Исходные данные: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: объяснимые выводы по задаче «Анализ того, на каких шагах курса массово теряются или ошибаются учащиеся» с влияющими факторами, альтернативными трактовками и ссылками на данные. Проверка: воспроизводимостью расчётов, проверкой источников и сравнением выводов с альтернативными объяснениями; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
895Оценка эффективности учебного вмешательства с отделением эффекта от различий между группами. — AI объединяет количественные и качественные признаки, после чего формирует оценку и показывает вклад основных факторов. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. К исходным данным относятся учебные материалы, ответы и история прогресса и цели обучения. Формат результата: оценка по задаче «Оценка эффективности учебного вмешательства с отделением эффекта от различий между группами» в числовой или категориальной форме с расшифровкой факторов, допущений и неопределённости. Надёжность оценивают сверкой с экспертными оценками или фактическими исходами, а также анализом чувствительности к входным данным; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания.
896Выявление перегрузки преподавателя по структуре задач, а не только по числу часов. — Для этой задачи система сочетает обученные шаблоны с контрольными правилами, чтобы находить значимые случаи и не пропускать пограничные примеры. Предметная логика: оценивает текущий уровень, подбирает следующий шаг и даёт обратную связь, не раскрывая готовый ответ раньше времени. Рабочие входы: учебные материалы, ответы и история прогресса и цели обучения. Формат результата: перечень объектов, событий или отклонений, относящихся к «Выявление перегрузки преподавателя по структуре задач, а не только по числу часов», с локализацией, уверенностью и признаками срабатывания. Критерии приёмки: по полноте обнаружения, доле ложных срабатываний и качеству локализации на независимой выборке; по реальному освоению материала, педагогическому review, отсутствию утечки ответов и справедливости оценивания. <a id="section-iv-6"></a>

0 моделей