ProgramSearch

Écrire, exécuter, évaluer : synthèse de programme avec un REPL

https://papers.nips.cc/paper/9116-write-execute-assess-program-synthesis-with-a-repl

Nous présentons une approche de synthèse de programmes neuronaux intégrant des composants qui écrivent, exécutent et évaluent le code pour naviguer dans l'espace de recherche de programmes possibles. Nous équipons le processus de recherche d'un interpréteur ou d'une boucle de lecture-évaluation-impression (REPL), qui exécute immédiatement les programmes partiellement écrits, exposant leur sémantique. Le REPL répond à un défi fondamental de la synthèse de programmes : de minuscules changements dans la syntaxe peuvent conduire à d'énormes changements dans la sémantique. Nous formons une paire de modèles, une politique qui propose le nouveau morceau de code à écrire et une fonction de valeur qui évalue les perspectives du code écrit jusqu'à présent. Au moment du test, nous pouvons combiner ces modèles avec un algorithme de Monte Carlo séquentiel. Nous appliquons notre approche à deux domaines : la synthèse de programmes d'édition de texte et l'inférence de programmes graphiques 2D et 3D.