к.ф.-м.н. Дмитрий Кондратьев
Проверка логических способностей LLM в решении 2-SAT задач.
Архив семинара
- Манцивода А. В.
Модели как мифы и интеллектуальные агенты.
- Витяев Е. Е., Манцивода А. В.
Общая дискуссия: Зачем семантика большим лингвистическим моделям? Зачем человеку две системы обработки информации по Канеману?
Аннотация
Как разрешаются сознанием противоречия посредством образов-моделей по работам Алахвердова - сознание как механизм разрешения противоречий. Единство синтаксиса и семантики в вероятностных формальных понятиях.
Презентация посвящена текущему состоянию платформы bSystem и стратегическим планам ее дальнейшего развития. Архитектура платформы основана на парадигме семантического моделирования и объектных онтологиях. Сейчас платформа предоставляет промышленные инструменты для разработки интеллектуальных приложений и используется в ряде бизнес-проектов.
Недавние работы по развитию самой платформы включают интеграцию объектных онтологий с семантическим вероятностным выводом. Эта интеграция значительно расширяет возможности платформы. Отталкиваясь от этого продвижения, мы рассматриваем стратегические идеи и планы, касающиеся разработки гибридных подходов, которые поддерживают совместную работу семантического моделирования и больших языковых моделей в рамках многокомпонентных интеллектуальных агентов. Работа таких агентов рассматривается как интегральное взаимодействие компонент, имитирующих человеческие интуицию, воображение и рассуждения.
к.ф.-м.н. Нечесов Андрей Витальевич
Обсуждение работ поданных на конференцию по искусственному интеллекту https://MathAI.club.
Кондратьев Дмитрий Александрович
Сведение задачи расписания к 2-SAT задачи алгоритмически и при помощи LLM.
к.ф.-м.н. Андрей Нечесов
Проведение конференции Математика Искусственного Интеллекта в Сириусе с 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.
Информация о семинаре
Руководители:
акад. С. С. Гончаров, к.ф.-м.н А. В. Нечесов
Время и место проведения:
Среда, 18.10 ч., ауд. 5273, новый корпус НГУ
