Steve Dai

Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect

Gamora: Graph learning based symbolic reasoning for large-scale boolean networks