Zhijun Ding

新しい手法が同時実行プログラムの検証を改善し、パス爆発の課題に対処してるよ。

新しいフレームワークが複雑なハイパーグラフからの学習を強化する。