SMT支援型証明指向プログラミングのためのニューラルシンセシス

SMT支援型証明指向プログラミングにおいて、AIを使ってプログラムとその証明を自動的に合成することができる。