Zhanguang Zhang

De nouvelles méthodes améliorent la génération de problèmes SAT insatisfaisables pour un meilleur entraînement des machines.

VeriDistill utilise l'apprentissage automatique pour améliorer l'efficacité et la précision de la conception des circuits.