AI記事考察ノート

グラフ構造化でプログラム検証アーティファクト再利用を可能に——新たな手法が提案される

命令型プログラム用グラフ構築とマッチングのためのニューラルおよび構造的手法

査読前の可能性がある研究情報

命令型プログラミング言語のプログラムと注釈をグラフに変換し、検証アーティファクトの再利用性を向上させる手法が提案されています。