PFIA 2024
Tutoriels
Machine Learning Meets Program Synthesis - 2
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: the goal of this tutorial is to survey this recent line of work and highlight its main challenges for the future.