Hui-Ling Zhen

新しい方法で、機械学習のトレーニングのために解けないSAT問題の生成が改善される。

VeriDistillは機械学習を使って回路設計の効率と精度を向上させるんだ。