David M. Cerna

新しい方法がAIの論理プログラムの効率を高める。

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