ProgramSearch

Escribir, ejecutar, evaluar: síntesis de programas con un REPL

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

Presentamos un enfoque de síntesis de programas neuronales que integra componentes que escriben, ejecutan y evalúan código para navegar en el espacio de búsqueda de posibles programas. Equipamos el proceso de búsqueda con un intérprete o un bucle de lectura-evaluación-impresión (REPL), que ejecuta inmediatamente programas parcialmente escritos, exponiendo su semántica. El REPL aborda un desafío básico de la síntesis de programas: pequeños cambios en la sintaxis pueden conducir a grandes cambios en la semántica. Entrenamos un par de modelos, una política que propone el nuevo código a escribir y una función de valor que evalúa las perspectivas del código escrito hasta ahora. En el momento de la prueba podemos combinar estos modelos con un algoritmo Sequential Monte Carlo. Aplicamos nuestro enfoque a dos dominios: sintetizar programas de edición de texto e inferir programas de gráficos 2D y 3D.