August 29, 10:45 am - 12:15 pm (CEST)

Speakers: Nathanaël Fijalkow and Guillaume Lagarde

Tutorial website: https://deepsynth.labri.fr/?page=tutorial

Agenda: Machine Learning Guided Program Synthesis

Program synthesis is an ideal where the program is automatically generated from its specification. It has recently gained momentum thanks to the use of machine learning techniques. In this tutorial we will survey the recent line of work using machine learning for improving program search algorithms.

Nathanaël Fijalkow

Guillaume Lagarde