Zhanguang Zhang

Nuovi metodi migliorano la generazione di problemi SAT insoddisfacenti per un training migliore del machine learning.

VeriDistill usa l'apprendimento automatico per migliorare l'efficienza e la precisione nel design dei circuiti.