– Страница лекции
– 24 декабря, 19:00 – 20:30
– Мраморный зал, ПОМИ РАН, наб. реки Фонтанки, 27, Санкт-Петербург
– Пожалуйста, не забудьте зарегистрироваться — это необходимое условие посещения
⭐️ О лекторе
Александр Куликов
В научные интересы Александра входят алгоритмы, теория сложности и образование в области компьютерных наук. В настоящее время он работает на позиции исследователя в компании JetBrains, а также руководит бакалаврской программой Computer Science and Artificial Intelligence в Neapolis University Pafos.
📢 Анонс
Я расскажу про соревнования по логическому синтезу, которые проводятся в течение нескольких последних лет в рамках конференции International Workshop on Logic and Synthesis. Цель — синтезировать (за примерно полгода) как можно более эффективные схемы для данных булевых функций, заданных таблицами истинности. В 2023 году первое место в этом соревновании занял Google DeepMind, в 2024 — наша команда (JetBrains и Neapolis University Pafos), в 2025 — UC Berkeley и National Taiwan University. Команды использовали самые разные техники — машинное обучение, комбинаторная оптимизация, анализ булевых функций, SAT-солверы и другое. Я расскажу про некоторые из этих техник, а также про предстоящее соревнование.