ProgramSearch

Schreiben, ausführen, bewerten: Programmsynthese mit einem REPL

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

Wir präsentieren einen Ansatz zur Synthese neuronaler Programme, der Komponenten integriert, die Code schreiben, ausführen und bewerten, um im Suchraum möglicher Programme zu navigieren. Wir statten den Suchprozess mit einem Interpreter oder einer Read-Eval-Print-Loop (REPL) aus, die teilweise geschriebene Programme sofort ausführt und deren Semantik offenlegt. Die REPL adressiert eine grundlegende Herausforderung der Programmsynthese: Winzige Änderungen in der Syntax können zu großen Änderungen in der Semantik führen. Wir trainieren ein Modellpaar, eine Richtlinie, die den neuen zu schreibenden Code vorschlägt, und eine Wertefunktion, die die Aussichten des bisher geschriebenen Codes bewertet. Zur Testzeit können wir diese Modelle mit einem sequentiellen Monte-Carlo-Algorithmus kombinieren. Wir wenden unseren Ansatz auf zwei Bereiche an: die Synthese von Textbearbeitungsprogrammen und die Ableitung von 2D- und 3D-Grafikprogrammen.