Evènement pour le groupe Séminaire Méthodes Formelles


Date 2018-12-04  11:00-12:00
TitreData generation for programme synthesis 
RésuméProgramming by example is the problem of synthesising a program from a small set of pairs input and output. Despite having found applications in several areas it is notoriously computationally expensive. Recent works have considered hybrid approaches combining ML and PL based techniques. These techniques require generating a training dataset, which leads to significant difficulties related to finding the most informative inputs to characterise a given programme. In this paper we show that the data generation procedure has a significant impact on performance. The novelty of our approach relies on using an SMT solver to synthesize meaningful inputs with varied behaviour for a given program. By testing against several distributions, we show that our constraint-based approach improves on the generalizability of the models. Our results are consistent across two common learning architectures used in previous work. 
Lieu178 
OrateurNathanaël Fijalkow 
Emailhttps://nathanael-fijalkow.github.io/ 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index