帰納的プログラム合成

ニューラルガイド付きプログラム合成

解空間での探索を効率的に導くためにニューラルネットワークとプログラム合成を組み合わせる技術。ニューラルモデルは、有望な探索方向を予測するためにデータからパターンを学習します。

← 戻る