к.ф.-м.н. Андрей Нечесов
Проведение конференции Математика Искусственного Интеллекта в Сириусе с 24 по 28 марта 2025 года.
Архив семинара
Легченко Антон Евгеньевич (аспирант НГУ)
Различные аспекты применения LLM при создании диалоговых консультантов на примере e-com в рамках соревнования при конференции AIJ24.
Аннотация
Доклад посвящен победе в соревновании e-com assistant при AIJ24. Задачей соревнования была разработка диалогового ассистента с использованием LLM способного в ходе естественного диалога порекомендовать клиенту 10 наиболее релевантных товаров. В докладе будет разобрано для каких аспектов задачи LLM можно использовать в few-shot режиме, минимизируя затраты на дополнительные специализированные модели, а для каких задач понадобилось разработать специализированное решение. Из оригинальных подходов будет разобрано обучение кросс - энкодера на базе BERT способного ранжировать соответствия запросов пользователя характеристикам товара, на базе синтетического набора данных составленного с помощью LLM.Новиков Сергей (магистрант НГУ)
Реферат статьи: NPHardEval: Dynamic Benchmark on Reasoning Ability of Large Language Models via Complexity Classes.
Болдырев И. А.
О проектах "Фреймворк СИГМА" и "Платформа АРХИ - управление строительным проектом".
к.ф.-м.н. Кондратьев Д. А.
Использование формальной верификации для обеспечения качества программных платформ.
Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).