Методы машинного обучения в области программной инженерии

"ICLR - это настолько топовая конференция по нейронным сетям, что народ публикует списки типа: "10-лучших статей, которые не попали на ICLR". В этом году в её программу попала одна статья по нашей теме, о которой и будет доклад.

В этой статье авторы используют несколько очень интересных Deep Learning техник совместно с разными классическими системами IPS (Inductive Program Synthesis) и SMT (Satisfiability Modulo Theories), чтобы по вводу-выводу программы сначала определить её параметры, а потом получить сам код."

Докладчик: Алексей Шпильман

Время начала семинара: 19:00