Liao Zhang

研究者たちは、インタラクティブ定理証明における戦術予測を強化するためにILPを適用している。

用語書き換えシステムの最適化に機械学習を使う方法を探る。