IARCS Verification Seminar Series

Title: Scaling Neural Program Synthesis with Distribution-based Search

Speaker: Nathanaël Fijalkow    (bio) (bio)

Nathanaël Fijalkow is a CNRS researcher in LaBRI, Bordeaux, France, and The Alan Turing Institute of data science in London, United Kingdom. His research interests include program synthesis, games, and automata theory.

When: Tuesday, 05 April 2022 at 1900 hrs (IST) Slides  Video  

In this talk, we will explore an unexpected connection between program synthesis, airport screening, and DNA sequencing: they are all about finding a needle in a (probabilistic) haystack! Based on some recent work (to appear in AAAI'22, see below), I will introduce the framework of predictions-guided program synthesis, and discuss its algorithmic challenges.

Link to the technical report: https://arxiv.org/abs/2110.12485