Zhanguang Zhang

Nuevos métodos mejoran la generación de problemas SAT insatisfacibles para un mejor entrenamiento de machine learning.

VeriDistill usa aprendizaje automático para mejorar la eficiencia y precisión en el diseño de circuitos.