< Retour au sommaire

Program synthesis in the machine learning era

Nathanaël Fijalkow le

Lieu: Amphi 33, bât 862

Suivre en visio

This talk is a joint talk with the Digicosme vrAI working group. Note that its duration is longer than usual seminars.

This talk will be an introduction to the field of program synthesis and the impact that machine learning had on this field.

Program synthesis is one of the oldest dream of Artificial Intelligence: constructing programs directly from the user intents, without the costly phase of writing code. OpenAI and Github’s Copilot has recently shown the great promises of this endeavour, by constructing an “AI peer programmer”. But a lot remains to be done! This talk will be based on recent progress we made on combining formal methods with machine learning for program synthesis, published at AAAI 2022 (and selected for oral presentation).