Improved Tree Search for Automatic Program Synthesis

要約

自動プログラム合成のタスクでは、一致する入力と出力のペアを取得し、特定のドメイン固有言語 (DSL) でコンピューター プログラムを生成します。これは、各サンプル入力が与えられると、一致する出力を返します。
重要な要素は、有効なプログラムのスペースで効率的な検索を実行できることです。
ここでは、2 つの大きく異なる DSL で最先端の結果をもたらす MCTS の変形を提案します。
私たちが提案する探索方法には、複数の貢献が含まれています。変更された訪問回数、トレーニング データセットの前処理手順、および既に実行されたプログラムの部分のエンコードです。

要約(オリジナル)

In the task of automatic program synthesis, one obtains pairs of matching inputs and outputs and generates a computer program, in a particular domain-specific language (DSL), which given each sample input returns the matching output. A key element is being able to perform an efficient search in the space of valid programs. Here, we suggest a variant of MCTS that leads to state of the art results on two vastly different DSLs. The exploration method we propose includes multiple contributions: a modified visit count, a preprocessing procedure for the training dataset, and encoding the part of the program that was already executed.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google