NoML Digest

Мероприятия NoML в июне Летом снизим интенсивность наших мероприятий. Ближайший раз соберемся 19 июня: ▫️ 19 июня (среда) 17:00 МСК | семинар | Сергей Усманов (QuSolve) - Квантово-вдохновленные алгоритмы оптимизации для прикладных задач; ▫️ 26 июня (среда) 17:00 МСК | семинар | Мария Жмылёва (GlowByte), Тимофей Прибылев (GlowByte) - Введение в Process Mining: методы, платформы и кейсы; Ссылка для подключения пока та же: Google Meet→, следите за обновлениями в наших канале @noml_digest и чате @noml_community, там же публикуются более детальные анонсы предстоящих докладов.

Запись семинара ▫️ Егор Дудырев - Неформальное введение в Анализ Формальных Понятий (1 час 30 минут). ▫️ Презентация в базе знаний→

Небольшой NoML Recap Запись вчерашнего семинара скоро будет, а пока вспомним прошлый доклад Егора про один из вариантов применения анализа формальных понятий на практике. Егор тогда рассказал, как мы можем эффективно находить так называемые «Модели Человеческих Знаний» в данных: настолько тривиальные правила, что они будут понятны любому человеку, и настолько оптимальные правила, что иногда они соперничают с продвинутыми методами ML. ▫️ Егор Дудырев - Модели человеческих знаний, или Когда простейшие правила работают на уровне градиентных бустингов, 2023 (1 час 10 минут).

Семинар про анализ формальных понятий ▫️ 29 мая (среда), 17:00 МСК ▫️ Подключение→ Выступает: Егор Дудырев, аспирант НИУ ВШЭ и Университета Лотарингии Тема: Неформальное введение в Анализ Формальных Понятий Аннотация На семинаре поговорим как можно искать стабильные паттерны и импликации в данных с помощью Анализа Формальных Понятий (АФП). АФП - это математический формализм, базирующийся на Теории множеств и Теории решёток. Но в данной презентации мы опустим формальные определения и сконцентрируемся на семантике АФП, вдохновляющейся тем, как люди воспринимают мир (и данные). Мы рассмотрим несколько датасетов и две Python библиотеки для работы с АФП. Так, мы найдём импликации в данных, вида: "если значения численного столбца лежат в интервале X, а значения категориального столбца принадлежат множеству Y, то все значения текстового столбца содержат n-граммы Z". Надеюсь, что представленные техники помогут вам в вашем повседневном анализе табличных данных. А ваши обратная связь и истории успеха помогут нам развивать и рекламировать наши техники.

Запись семинара ▫️ Александр Андреев - Алгоритмы решения SAT: теоретические и практические аспекты (55 минут). ▫️ Презентация в базе знаний→

Семинар про SAT солверы ▫️ 22 мая (среда), 17:00 МСК ▫️ Подключение→ Выступает: Александр Андреев (GlowByte AA, ИТМО)* Тема: Алгоритмы решения SAT: теоретические и практические аспекты Аннотация В ходе доклада мы рассмотрим задачу SAT, её сложность и практическую важность. Погрузимся в идеологию и методы работы SAT-решателей и изучим передовые алгоритмы для решения этой задачи. Также мы обсудим, как эти алгоритмы применяются в реальной жизни. Структура доклада: ▫️ Введение в SAT: примеры SAT-задачи, идеология SAT-решателей, поиск нескольких решений, сложность SAT, доказательство для UNSAT, теорема о полноте и корректности метода резолюции, пример использования метода резолюции; ▫️ Алгоритмы решения SAT: DPP/DPLL, Conflict-Driven Clause Learning (CDCL), SAT Competitions; ▫️ Приложения SAT: проблема Хадвигера-Нельсона (1950), Equivalence Checking, задачи верификации, другие интересные приложения и полезные ссылки. *Доклад подготовлен совместно с коллективом лаборатории "Дискретной оптимизации и формальных методов" университета ИТМО (CT Lab). Данный коллектив активно публикуется на ведущих конференция (A, A*). В 2019 ими был разработан SAT-солвер, который стал победителем SAT Race сразу в двух категориях.

Вместо семинара На этой неделе у нас не случился доклад про солвер COPT, но можно вспомнить наш старый доклад по этой теме: ▫️ Александр Собенников - Решение оптимизационных задач в новых реалиях, 2022 (1 час). А если есть сомнения в перспективах вендорского солвера, можно вспмонить наш недавний доклад про разгон опенсорса: ▫️ Максим Гончаров, Алексей Никоноров - Опыт по ускорению оптимизационных open source солверов на примере решения задачи NBO, 2024 (1 час 45 минут).

Отмена семинара 15 мая На этой неделе семинар, к сожалению, не состоится. Заявленная тема переносится на осень.

Про LLM и MAS Подборка от Виктора и Захара по теме прошедшего на прошлой неделе семинара. Публикации коллег из FractalTech в блогах ▫️ Решаем проблему галлюцинаций LLM с помощью алгоритма фрактального синтеза ответа, 2023 (7 минут); ▫️ Разработчики FractalGPT запустили QA агента для сверхточных ответов на вопросы по документам, 2023 (7 минут); ▫️ Логический вывод FractalGPT, 2023 (5 минут); ▫️ FractalMath достиг 100% точности в решении математических задач, 2023 (3 минуты). Open source разработки коллег ▫️ Библиотека для интерпретации генеративных моделей ExplainitAll→ ▫️ Модели на Hugging Face→ ▫️ ИИ фреймворк для C# AlFramework→ Telegram-сообщество коллег ▫️ @fractal_gpt Другие доклады ▫️ Семинар AGIRussia: Захар Понимаш - FractalGPT: Самообучающийся мульти-агентный ИИ на базе больших языковых моделей (LLM) и логического вывода, 2023 (2 часа); ▫️ Конференция AI Journey: Виктор Носко - Автономные AI агенты: тренды индустрии и почему промты не всесильны, 2023 (30 минут); ▫️ Вебинар: Виктор Носко - Рассказ о многоагентной системе FractalGPT, 2024 (2 часа); ▫️ Снова вспоминали доклад коллег из компании Генезис Знаний: Сергей Грачев - Мультиагентные технологии: решение сложных бизнес задач на принципах самоорганизации активных агентов, 2023 (2 часа); ▫️ Также Генезис Знаний на семинар AGIRussia: Пётр Скобелев - На пути к эмерджентному интеллекту для решения сложных задач управления ресурсами, 2022 (2 часа 35 минут). В копилку книг по MAS ▫️ Тарасов В.Б. - От многоагентных систем к интеллектуальным организациям, 2002. Другие работы, которые упоминали в докладе ▫️ J. Wei et al. - Chain-of-Thought Prompting Elicits Reasoning in Large Language Models, 2022 (25 минут); ▫️ Sh. Yao et al. - Tree of Thoughts: Deliberate Problem Solving with Large Language Models, 2023 (30 минут); ▫️ J. Pan et al. - Autonomous Evaluation and Refinement of Digital Agents, 2024 (25 минут); ▫️ Y. Wu et al. - AgentKit: Flow Engineering with Graphs, not Coding, 2024 (20 минут); ▫️ T. Xie et al. - OpenAgents: An Open Platform for Language Agents in the Wild, 2023 (20 минут); ▫️ J.O Zhang et al. - Side-Tuning: A Baseline for Network Adaptation via Additive Side Networks, 2019 (25 минут); Также вспоминали Gartner В тему недавно обсуждавшихся трендов, как то я пропустил Hype Cycle: ▫️ What’s New in Artificial Intelligence from the 2023 Gartner Hype Cycle, 2023 (5 минут). Мультиагентные системы начинают подъём, так что будьте в тренде и ботайте тему MAS;)

Запись семинара ▫️ Захар Понимаш, Виктор Носко - Мультиагентный искусственный интеллект: современные тренды и преимущества синергии с LLM (1 час 40 минут). ▫️ Презентация в базе знаний→