Program Synthesis meets Machine Learning
Episode details
Episode description
We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and programing-by-examples, and compare program synthesis with supervised machine learning. We then present our recent efforts in combining program synthesis and machine learning techniques to solve the problem of synthesizing extractors from heterogeneous data. Finally, we explore several opportunities at the intersection of program synthesis (and more broadly the PL community) and machine learning, such as pruning and ranking programs during synthesis, neural program synthesis and automatic differentiation. See more at https://www.microsoft.com/en-us/research/video/program-synthesi…machine-learning/
Watch also from the same channel
More episodes from this channel
You might be interested in
