ProgramSearch

Tulis, Jalankan, Nilai: Sintesis Program Dengan REPL

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

Kami menyajikan pendekatan sintesis program saraf yang mengintegrasikan komponen yang menulis, mengeksekusi, dan menilai kode untuk menavigasi ruang pencarian program yang memungkinkan. Kami melengkapi proses pencarian dengan penerjemah atau read-eval-print-loop (REPL), yang segera mengeksekusi sebagian program yang ditulis, memperlihatkan semantiknya. REPL mengatasi tantangan dasar sintesis program: perubahan kecil dalam sintaksis dapat menyebabkan perubahan besar dalam semantik. Kami melatih sepasang model, kebijakan yang mengusulkan potongan kode baru untuk ditulis, dan fungsi nilai yang menilai prospek kode yang ditulis sejauh ini. Pada saat pengujian kita dapat menggabungkan model ini dengan algoritma Sequential Monte Carlo. Kami menerapkan pendekatan kami pada dua domain: mensintesis program pengeditan teks dan menyimpulkan program grafik 2D dan 3D.