Исследовательские проекты лаборатории (раздел в процессе наполнения).
Справедливые дележиЗадачи справедливого дележа возникают, когда неделимые ресурсы — имущество, вычислительные мощности или задачи — необходимо распределить между участниками с разными […]
Эффективный сервинг и моделирование производительности LLM в промышленных сценарияхСценарии реального применения больших языковых моделей, в том числе в составе облачных сервисов, существенно отличаются от лабораторных сценариев наличием многопоточного […]
Алгоритмы установления авторства произведенийУ каждого автора есть неосознанные языковые привычки: как часто он употребляет служебные слова, какие сочетания букв и словоформ предпочитает, насколько […]
Обработка языков с ограниченными ресурсамиПодготовка и оценка языковых данных, построение лексико-семантических, морфологических и синтаксических инструментов на основе классических и нейросетевых подходов, перенос разметок и […]
Планирование путей, траекторий и движений для современных робототехнических системРобототехника – одно из активно развивающихся направлений науки и техники. При этом профессионалов в этой области сейчас интересуют прежде всего […]
Структурные и интерактивные задачи, трудные для LLMПоиск, теоретический анализ и конструирование задач, которые остаются трудными даже для “сильных” языковых моделей и выявляют их ограничения, не всегда […]
Языковые модели маскированной диффузииИзучение фундаментальных свойств языковых моделей маскированной диффузии – нового класса моделей, в которых текст генерируется не последовательно слева направо, а […]
Задачи булевой выполнимости: алгоритмы и вычислительная сложностьЗадача выполнимости булевых формул (SAT) состоит в том, чтобы определить, существует ли способ присвоить переменным значения «истина» или «ложь» так, […]
Анализ нейронной активности Danio rerioНедавно в нейробиологии стали доступны технологии записи активности почти всех нейронов у некоторых модельных организмов, что открыло новые возможности для […]
Много-агентное планирование путейЗадача много-агентного планирования путей (задача MAPF, от англ. Multi-Agent Pathfinding) состоит в том, чтобы найти совокупность неконфликтных путей на графе. […]
Эффективное моделирование последовательностейИзучение архитектур для эффективной обработки длинных последовательностей, прежде всего моделей на основе пространств состояний и их гибридов с трансформером. Мы […]
Эффективные специализированные агенты для работы с программным кодомВ том числе эффективные агентные обвязки (harness): как добиться, чтобы “компактные” языковые модели решали программистские задачи на уровне более крупных, […]
Интеграция машинного обучения и эвристического поиска для решения задач со сложной комбинаторной структуройПредставьте, что вам нужно написать эффективный алгоритм сборки кубика Рубика за наименьшее число шагов из любого закрученного состояния. Это очень […]