Nan Wu

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

Ai-assisted synthesis in next generation eda: Promises, challenges, and prospects