Zhanguang Zhang

Neue Methoden verbessern die Erstellung von unerfüllbaren SAT-Problemen für ein besseres Training von Maschinenlernen.

VeriDistill nutzt maschinelles Lernen, um die Effizienz und Genauigkeit von Schaltplänen zu verbessern.