Minghai Lu

新しい自動化された方法で、ディープラーニングカーネルをモデルに統合するのが簡単になったよ。

ソフトウェアエンジニアリングでの証明検証を改善する新しい方法を探ってる。