ProgramSearch

編寫、執行、評估：使用 REPL 進行程式綜合

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

我們提出了一種神經程式綜合方法，整合了編寫、執行和評估程式碼的元件，以導航可能程式的搜尋空間。我們為搜尋過程配備了解釋器或讀取評估列印循環（REPL），它立即執行部分編寫的程序，並公開它們的語義。 REPL 解決了程序綜合的一個基本挑戰：語法的微小變化可能導致語義的巨大變化。我們訓練一對模型，一個建議要寫的新程式碼的策略，以及一個評估迄今為止所寫的程式碼前景的價值函數。在測試時，我們可以將這些模型與順序蒙特卡羅演算法結合。我們將我們的方法應用於兩個領域：合成文字編輯程式和推斷 2D 和 3D 圖形程式。