По традиции рассказываем о главных научных достижениях факультета компьютерных наук за вторую половину года. С дайджестом за первую половину 2022 года можно ознакомиться здесь.
Выступления на конференциях
NAACL
- Batch-Softmax Contrastive Loss for Pairwise Sentence Scoring Tasks (Антон Чернявский, Дмитрий Ильвовский, П. Калинин, Преслав Наков)
- Towards Computationally Feasible Deep Active Learning (Аким Цвигун, А. Шелманов, Г. Кузьмин, Л. Саночкин, Д. Ларионов, Г. Гусев, М. Аветисян, Леонид Жуков)
ACM SIGIR
- Identifying Argumentative Questions in Web Search Logs (Yamen Ajjour, Павел Браславский, А. Бондаренко, Benno Stein)
ICML
- Secure Distributed Training at Scale (Э. Горбунов, Александр Борзунов, Михаил Дискин, Максим Рябинин);
- From Dirichlet to Rubin: Optimistic Exploration in RL without Bonuses (Даниил Тяпкин, Денис Беломестный, Эрик Мулин, Алексей Наумов, Сергей Самсонов, Yunhao Tang, Michal Valko, Pierre Menard
- The power of first-order smooth optimization for black-box non-smooth problems (Александр Гасников, А. Новицкий, В. Новицкий, Ф. Абдулхакимов, Д. Камзолов, Александр Безносиков, Martin Takac, Павел Двуреченский, Bin Gu)
IJCAR
- Non-associative, non-commutative multi-modal linear logic (Eben Blaisdell, Max Kanovich, Степан Кузнецов, Elaine Pimentel, Andre Scedrov)
NeurIPS
- Towards Practical Computation of Singular Values of Convolutional Layers (Александра Сендерович, Екатерина Булатова, А. Обухов, Максим Рахуба)
- On Embeddings for Numerical Features in Tabular Deep Learning (Ю. Горишный, Иван Рубачев, Артем Бабенко)
- SketchBoost: Fast Gradient Boosted Decision Tree for Multioutput Problems (Леонид Иосипой, А. Вахрушев)
- Local-Global MCMC kernels: the best of both worlds (Сергей Самсонов, Евгений Лагутин, Marylou Gabrié, Alain Durmus, Алексей Наумов, Эрик Мулин)
- BR-SNIS: Bias Reduced Self-Normalized Importance Sampling (Gabriel Cardoso, Сергей Самсонов, Achille Thin, Eric Moulines, Jimmy Olsson)
- Optimistic Posterior Sampling for Reinforcement Learning with Few Samples and Tight Guarantees (Даниил Тяпкин, Денис Беломестный, Daniele Calandriello, Эрик Мулин, Remi Munos, Алексей Наумов, Mark Rowland, Michal Valko, Pierre Ménard)
- Training Scale-Invariant Neural Networks on the Sphere Can Happen in Three Regimes (Максим Кодрян, Екатерина Лобачева, М. Находнов, Дмитрий Ветров)
- HyperDomainNet: Universal Domain Adaptation for Generative Adversarial Networks (Айбек Аланов, В. Титов, Дмитрий Ветров)
- Accelerated Primal-Dual Gradient Method for Smooth and Convex-Concave Saddle-Point Problems with Bilinear Coupling (Д. Ковалев, Александр Гасников, Peter Richtarik)
- The First Optimal Acceleration of High-Order Methods in Smooth Convex Optimization (Д. Ковалев, Александр Гасников)
- The First Optimal Algorithm for Smooth and Strongly-Convex-Strongly-Concave Minimax Optimization (Д. Ковалев, Александр Гасников)
- Clipped Stochastic Methods for Variational Inequalities with Heavy-Tailed Noise (Э. Горбунов, М. Данилова, David Dobre, Павел Двуреченский, Александр Гасников, Gauthier Gidel)
- A Damped Newton Method Achieves Global O(1/k^2) and Local Quadratic Convergence Rate (Slavomír Hanzely, Dmitry Kamzolov, Dmitry Pasechnyuk, Александр Гасников, Peter Richtarik, Martin Takac)
- Distributed Methods with Compressed Communication for Solving Variational Inequalities, with Theoretical Guarantees (Александр Безносиков, Peter Richtarik, Михаил Дискин, Максим Рябинин, Александр Гасников)
- Optimal Algorithms for Decentralized Stochastic Variational Inequalities (Д. Ковалев, Александр Безносиков, Abdurakhmon Sadiev, Michael Persiianov, Peter Richtarik, Александр Гасников)
- Optimal Gradient Sliding and its Application to Optimal Distributed Optimization Under Similarity (Д. Ковалев, Александр Безносиков, Екатерина Бородич, Александр Гасников, Gesualdo Scutari)
- Decentralized Local Stochastic Extra-Gradient for Variational Inequalities (Александр Безносиков, Павел Двуреченский, А. Колоскова, В. Самохин, Sebastian Stich, Александр Гасников)
- Nonparametric Uncertainty Quantification for Single Deterministic Neural Network (Н. Котелевский, А. Артеменков, К. Федянин, Федор Носков, А. Фишков, А. Шелманов, А. Важенцев, А. Петюшко, М. Панов)
EMNLP
- PAUQ: Text-to-SQL in Russian (Д. Бакшандаева, О. Сомов, Е. Дмитриева, В. Давыдова, Елена Тутубалина)
- TAPE: Assessing Few-shot Russian Language Understanding (Екатерина Такташева, Е. Такташева, А. Феногенова, Д. Шевелев, Н. Катричева, Мария Тихонова, А. Ахметгареева, О. Зинкевич, А. Башмакова, С. Иорданская, В. Куренщикова, А. Спиридонова, Екатерина Артемова, Т. Шаврина, В. Михайлов)
- Active Learning for Abstractive Text Summarization (Аким Цвигун, И. Лысенко, Д. Седашов, И. Лазичный, Э. Дамиров, В. Карлов, А. Белоусов, Леонид Саночкин, М. Панов, А. Панченко, М. Бурцев, А. Шелманов)
С другими публикациями сотрудников и студентов ФКН можно ознакомиться здесь.
19 июля Герман Магай выступил с постерным докладом Geometric and topological properties of the internal representation of neural networks на конференции Young Topologists Meeting 2022.
19–30 июля сотрудники лаборатории алгебраических групп преобразований выступили на 21-ой летней школе «Современная математика». Юлия Зайцева прочитала курс «Локальные алгебры, многочлены и аддитивные действия», а профессор Иван Аржанцев выступил с лекцией «Градуировки на алгебре многочленов и сюръективность умножения».
18–23 сентября сотрудники лаборатории алгебраических групп преобразований выступили на конференции Algebraic Groups, their Friends and Relations в Санкт-Петербургском отделении Математического института имени В. А. Стеклова РАН. Иван Аржанцев выступил с приглашенным докладом Tits-Type Alternative Automorphism Groups, а Александр Перепечко представил доклад Automorphism Groups of Rigid Affine Surfaces: the Identity Component.
2–6 октября Галина Охрименко представила постерный доклад по теме «Генетические нарушения у пациентов с легочной артериальной гипертензией» на 46-ой междисциплинарной конференции «Информационные технологии и системы» (ИТиС).
7–11 ноября сотрудники ФКН выступили на Второй конференции Математических центров России. Среди пленарных докладов конференции был доклад Александра Гасникова «Современная стохастическая оптимизация и анализ данных», а профессор Николай Верещагин принял участие в организации работы секции «Математическая логика и теоретическая информатика».
15 ноября Дмитрий Игнатов выступил на научно-техническом вебинаре компании НТР с докладом «О криптоморфизме между решетками подмножеств Дэвиса, атомистическими решетками, системами замкнутых множеств при выполнении аксиомы отделимости T1».
29–30 ноября сотрудники международной лаборатории биоинформатики выступили на школе «Генетика и эпигенетика: механизмы, структура, функция». Алексей Шайтан представил доклад «Структура, динамика и функционирование нуклеосом в хроматине», а Мария Попцова выступила с докладом «Вторичные структуры ДНК как дополнительный слой кодирования информации».
1–3 декабря прошел второй Конгресс молодых ученых, в котором приняли участие Денис Деркач и Алексей Масютин.
2 декабря сотрудники ФКН выступили на конференции по искусственному интеллекту Artificial Intelligence Journey. В дискуссии «Ускорение научных исследований в искусственном интеллекте» принял участие Алексей Масютин.
Выступления
- Удивительные свойства ландшафта потерь в перепараметризованных моделях (Дмитрий Ветров)
- От Дирихле до Рубина: оптимистичное исследование в RL без бонусов (Алексей Наумов)
- На пути к эффективному контролю сингулярных чисел сверточных слоев нейросетей (Максим Рахуба)
- Оптимизация дизайна оборудования методами машинного обучения (Денис Деркач)
- Скрытые нейронные стохастические дифференциальные уравнения для обнаружения точек разладки (Михаил Гущин)
- Применение трансформеров для последовательностей в биоинформатике (Мария Попцова)
- Что мы не понимаем в глубинном обучении? (Евгений Соколов)
- Машинное обучение для классификации текстов (Маргарита Бурова)
Мероприятия
4–8 июля прошла конференция Algebraic groups: the White Nights season II, организованная Международным математическим институтом имени Эйлера и лабораторией алгебраических групп преобразований. Сотрудники лаборатории выступили на конференции с докладами.
Доклады и сообщения сотрудников ФКН
- Результаты о существовании B-корневых подгрупп на аффинных сферических многообразиях (Роман Авдеев)
- Однородные алгебраические многообразия и степень транзитивности (Иван Аржанцев)
- Орбиты группы автоморфизмов на триномиальных гиперповерхностях (Сергей Гайфуллин)
- Группы автоморфизмов аффинных многообразий без неалгебраических элементов (Александр Перепечко)
- Торальные многообразия (Антон Шафаревич)
- О коммутирующих локально нильпотентных дифференцированиях и подгруппах изотропии (Нихилеш Дасгупта)
- Горенштейновы локальные алгебры и аддитивные действия на проективных гиперповерхностях (Юлия Зайцева)
- Плоские кривые: линейно-алгебраический подход (Виктор Лопаткин)
- Порождающее множество для группы автоморфизмов градуированной алгебры (Антон Трушин)
4–5 июля департамент анализа данных и искусственного интеллекта совместно с международной лабораторией интеллектуальных систем и структурного анализа провели первую летнюю школу «Искусственный интеллект и общество».
23 июля прошел десятый мастер-класс What can FCA do for Artificial Intelligence?, организованный департаментом анализа данных и искусственного интеллекта. Мастер-класс прошел в рамках конференции IJCAI-ECAI 2022 (International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence).
1–5 августа прошла первая летняя школа «Алгебраические группы преобразований», организованная лабораторией алгебраических групп преобразований. Сотрудники лаборатории прочитали ряд курсов и провели воркшопы. Программа летней школы.
23–25 августа прошла третья школа по машинному обучению в биоинформатике. В этом году школа впервые состоялась очно и собрала 120 участников. Выступали представители ФКН, Сколтеха, AIRI, МГУ, МФТИ, Genotek и Sber Artificial Intelligence Laboratory.
1–3 сентября прошла международная конференция Computer Methods of Cognitome Analysis, организованная международной лабораторией алгебраической топологии и ее приложений. Программа и видеозаписи конференции.
2 сентября состоялся междисциплинарный форум «Кардиогенетика и биоинформатика: реалии 2022», организованный консорциумом «Генетика сердечно-сосудистых заболеваний», членом которого является международная лаборатория биоинформатики. На открытии форума выступила заведующая лабораторией Мария Попцова, а Ольга Бровкина представила доклад «Результаты биоинформатической обработки таргетного секвенирования больных ЛГ разных групп».
3–9 октября прошла международная школа «Торическая топология, комбинаторика и анализ данных». Ее соорганизатором стала международная лаборатория алгебраической топологии и ее приложений. Сотрудники лаборатории в рамках школы прочитали ряд лекций. Программа школы.
1–3 ноября состоялась первая осенняя школа-конференция по искусственному интеллекту Fall into ML. Она была организована международной лабораторией стохастических алгоритмов и анализа многомерных данных и лаборатория методов анализа больших данных при поддержке Центра ИИ и РНФ. Программа школы, программа конференции и видеозаписи.
12–13 ноября прошла вторая практическая конференция «ИТ-образование в современном мире». Среди выступающих были представители НИУ ВШЭ, Яндекса, МГУ, Университета Иннополис, Сибирского федерального университета, 1С, АО «НСПК», других университетов и ИТ-компаний. Программа и видеозаписи конференции.
27 декабря состоялся международный мастер-класс Logic Matters 2022. Он был организован международной лабораторией интеллектуальных систем и структурного анализа и департаментом анализа данных и искусственного интеллекта.
Регулярные семинары ФКН
Коллоквиум
- 20 сентября Диффузионные модели и их современные применения (Валентин Хрульков, Яндекс)
- 11 октября Безградиентные методы для федеративного обучения (Дарина Двинских)
- 8 ноября Поиск быстрых алгоритмов умножения матриц при помощи обучения с подкреплением (Александр Новиков, DeepMind)
- 6 декабря Polynomial Chaos Expansion and Machine Learning: Benefits, Challenges, Applications (Александр Тараканов)
Открытые заседания Ученого совета ФКН
- Заседание 29 сентября
- Базы данных для больших многомерных массивов: текущие успехи и вызовы (Рамон Антонио Родригес Залепинос)
- Парадигмы и языки программирования. Возможные варианты дальнейшего развития (Александр Легалов)
- Заседание 17 ноября
- Устойчивые тор-алгебры в топологическом анализе данных (Иван Лимонченко)
- Линейные и нелинейные отображения матриц, сохраняющие вырожденность (Артем Максаев)
Международная лаборатория интеллектуальных систем и структурного анализа
- 6 июля Методы переноса знаний для нейросетевых моделей обработки естественного языка (Василий Коновалов, МФТИ)
- 28 сентября Математическое моделирование полимерных цепей в задачах предсказания транспортных характеристик стеклообразных полимеров (Олег Милосердов, ИПУ РАН)
- 9 ноября Генерация мимики и жестов по речи (Владислав Корзун, МФТИ, «Тинькофф Банк»)
- 11 ноября Исследование и разработка вероятностных методов верификации систем распределенного реестра (Иван Федотов, МФТИ)
- 14 декабря Тематические и нейросетевые модели языка для разведочного информационного поиска (Анастасия Янина, МФТИ)
Международная лаборатория теоретической информатики
- 15 сентября Доклад по статье A better-than-3logn depth lower bound for De Morgan formulas with restrictions on top gates (Иван Михайлин, ММИ имени Эйлера)
- 19 октября Теоретико-числовые свойства волновой функции в модели "Шашки Фейнмана" (Федор Куянов)
- 23 ноября Трансформерные модели в языковом моделирование (Мария Тихонова)
- 21 декабря Выражение разрешающих списков полиномиальными пороговыми функциями (Николай Проскурин)
Семинар по структурному обучению
- 19 сентября Statistics of McKean-Vlasov equations (Денис Беломестный)
- 26 сентября Multi-Level Unbiased MCMC Estimators for Discretized Models (Александр Тараканов)
- 3 октября Is Q-learning Provably Efficient? (Article overview) (Яна Хассан)
- 10 октября Дважды стохастический вариационный вывод с полунеявными и несобственными распределениями (Дмитрий Молчанов)
- 24 октября The Primacy Bias in Deep Reinforcement Learning (Evgenii Nikishin, Mila, Université de Montréal)
- 31 октября A Contrastive Approach to Online Change Point Detection (Валерия Щербакова)
- 7 ноября Theoretical guarantees for approximate sampling from smooth and log-concave densities (Artur Goldman)
- 14 ноября Rapid Convergence of the Unadjusted Langevin Algorithm: Isoperimetry Suffices (Дарья Демидова)
- 21 и 28 ноября Diffusion Probabilistic Models explosion (Антон Зубехин)
- 5 декабря Log-concave sampling: Metropolis-Hastings algorithms are fast (Варвара Руденко)
- 12 декабря Exponential Concentration Inequalities for Additive Functionals of Markov Chains (Марина Шешукова)
- 19 декабря Sharper Bounds for Uniformly Stable Algorithms (Тимофей Гринев)
Международная лаборатория алгебраической топологии и ее приложений
- 15 июля Spectral clustering of combinatorial fullerene isomers based on their facet graph structure (Artur Bille, Ulm University)
- 30 сентября Алгебра граф-эквивариантных когомологий проективного расслоения над GKM-графом (Григорий Соломадин)
- 21 октября A quadratic estimation for the Kühnel conjecture (Святослав Дженжер, МФТИ и Аркадий Скопенков, МФТИ)
- 28 октября Рост и базисы в алгебраических операдах (Дмитрий Пионтковский, ФЭН НИУ ВШЭ)
- 11 ноября Внешние биллиарды вне правильных многоугольников (Алексей Канель-Белов, Бар-Иланский университет)
- 18 ноября Cup products of the cohomology of 4-dimensional toric orbifolds (Tse Leung So, Western University, Canada)
- 9 декабря Предельная концентрация значений хроматического числа случайного графа Эрдеша-Реньи (Дмитрий Шабанов)
- 16 декабря Искусственный интеллект и машинное обучение в разработке интеллектуальных устройств в медицине (Александра Бернадотт, МГУ, МИСиС)
Международная лаборатория биоинформатики
- 13 июля Ландшафт редактирования РНК при болезни Альцгеймера (Дмитрий Коновалов)
- 24 августа Сравнение качества различных методов доменной адаптации в задачах биоинформатики (Павел Латышев)
- 21 сентября LGP2 и его роль в регуляции IFN-ответа в клетках с инактивированным ADAR1 (Александр Федоров)
- 12 октября Транскрипционный фактор Aire (Федор Павлов)
- 26 октября Цис-регуляторные элементы и Z-флипоны (Дмитрий Коновалов)
- 16 ноября Исследование метода доменной адаптации DANN для предсказания G-квадруплексов (Павел Латышев)
Научно-учебная лаборатория методов анализа больших данных
- 21 ноября Acceleration of Optimal Bayesian Experimental Design with Machine-Learning Methods (Александр Тараканов)
Лаборатория процессно-ориентированных информационных систем
- 8 сентября Studying the properties of timed finite state machines (Евгений Винарский)
- 15 сентября Overview of real-time models (Евгений Винарский)
- 22 ноября Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды (Никита Шаимов)
Лаборатория моделирования и управления сложными системами
- 13 октября Management of Localized Waves in Inhomogeneous Media (K. Sakkaravarthi)
- 27 октября Impacts of Global Climate Change - 2022: Eagle's Eye View (R. Mahendran)
- 10 ноября Magnetization Switching in Pentalayer Nanopillar Alloys with Oscillatory Interlayer Exchange Coupling (Dr. D. Aravinthan)
- 22 декабря Optical solitons management in a harmonic Gaussian PT-symmetric potential with space dependent higher order nonlinearities (Dr. J. B. Sudharsan)
Лаборатория искусственного интеллекта для вычислительной биологии
- 1 сентября LC-MS-based lipidomics: data analysis challenges and applications to psychiatric disorder research (Анна Ткачев, Сколтех)
- 12 октября QA on Data Independent Acquisition for tandem mass spectrometry (Вадим Демичев, Charite University Medicine Berlin)
- 13 октября Deep learning applications in proteomics mass spectrometry (Prof. William Stafford Noble, University of Washington)
- 17 октября Machine learning based approaches for analysis of cancer genome breakpoints (Ксения Челошкина)
- 19 октября DIAmeter: matching peptides to data-independent acquisition mass spectrometry data (Yang Lu, University of Washington)
- 28 ноября Light scattering techniques – versatile tools to study nanoparticle dispersions (István Szilágyi, University of Szeged)
Семинар «Байесовские методы машинного обучения»
- 16 сентября Discrete Disentangled Representations for Object-Centric Visual Tasks (Александр Панов, Даниил Кириленко, Алексей Ковалев, AIRI)
- 23 сентября Дискуссионный семинар о диффузных моделях (Никита Стародубцев, ИТМО; Вячеслав Мещанинов; Никита Бондарцев, Григорий Бартош, AMLab, UvA)
- 7 октября Марковский блюрринг + диффузия для табличных данных (Григорий Бартош, UvA; Аким Котельников, Яндекс)
- 14 октября Overview of control techniques for text and image models (Сергей Трошин)
- 21 октября Training Scale-Invariant Neural Networks on the Sphere Can Happen in Three Regimes (Максим Кодрян)
- 4 ноября Вопросно-ответная сессия со Станиславом Дробышевским
- 11 ноября Квантовая механика (Илья Зиганшин, МГУ)
- 18 ноября Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets (Тимофей Южаков)
- 25 ноября Discovering faster matrix multiplication algorithms with reinforcement learning (Александр Новиков, DeepMind)
- 2 декабря Диффузионные модели в латентном пространстве (Тингир Бадмаев)
- 9 декабря Domain Adaptation of GANs (Айбек Аланов)
- 16 декабря От GPT-3 до ChatGPT: обучение языковых моделей на инструкциях и человеческих оценках (Максим Рябинин)
Семинар «Автоматическая обработка и анализ текстов»
- 9 сентября Рекомендательные системы, основанные на графах, с использованием непрерывных представлений сетей (Дмитрий Киселев)
Семинар по алгебраическим группам преобразований
- 14 сентября Инварианты Макар-Лиманова и Дерксена (Вероника Киктева)
- 28 сентября Модифицированные инварианты Макар-Лиманова и Дерксена (Сергей Гайфуллин)
- 5 октября Многогранник Гельфанда-Цетлина (Екатерина Преснова)
- 12 и 19 октября Проблема линеаризации (Иван Аржанцев)
- 2 ноября Структура исчерпаемых групп автоморфизмов (Александр Перепечко)
- 9 ноября Matroid Schubert varieties as equivariant compactifications of affine spaces (Colin Crowley, University of Wisconsin–Madison)
- 18 ноября Пример не конечно порожденного ядра локально нильпотентного дифференцирования (Вероника Треумова)
- 7 декабря Конечная порожденность ядер локально нильпотентных дифференцирований алгебры многочленов (Анна Каширкина)
- 14 декабря Characterization of algebraic varieties by their groups of symmetries (Alvaro Liendo, Universidad de Talca)
Семинар Зеркальной лаборатории
- 1 июля Построение математических моделей для решения прямых и обратных задач в флебологии
- 10 августа Различение хаотических и регулярных временных рядов для идентификации состояния артериовенозной фистулы
- 8 сентября Методы математического моделирования кровеносной системы человека и их применение в диагностике
- 5 октября Прогнозирование хаотических временных рядов в медицинской диагностике
- 2 ноября Нелинейный бифуркационный анализ уравнений гемодинамики
Математический семинар
- 14 октября Скрытые теоремы сложения (Алексей Устинов)
- 28 октября Суммы двух квадратов и модулярные формы (Александр Калмынин, ФМ НИУ ВШЭ)
- 11 ноября Гипотеза о соответствиях Джека (Валентин Промыслов)
Новые подразделения и проекты
В июне на факультете компьютерных наук открылась базовая кафедра компании «Тинькофф». На курсах кафедры будут обучаться около 80 человек ежегодно. Они получат фундаментальные математические знания и навыки промышленной разработки. Кафедру возглавил руководитель отдела рекламных технологий «Тинькофф» Андрей Иванов.
По итогам двух конкурсов Российского научного фонда, финансирование получили четыре проекта под руководством сотрудников ФКН:
Помимо этого, проект «Группа компонент группы автоморфизмов алгебраического многообразия и степень транзитивности» под руководством Ивана Аржанцева вошел в число победителей конкурса математических проектов Международного математического института имени Эйлера.
В декабре по итогам конкурса на создание научно-учебных групп был поддержан проект «Комбинаторные и числовые задачи на решетках» под руководством профессора Алексея Устинова.
Получившие степень кандидата наук
Получившие степень доктора наук
- Алексей Наумов
- Алексей Осадчий
- Елена Грязина
.png "Научный дайджест ФКН 2022. Часть 2")