Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, and Hongce Zhang. (2026). "FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping." DATE.
Mingkai Miao, Jianheng Tang, Guangyu Hu, and Hongce Zhang. (2026). "BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning." AAAI (Oral).
Mingkai Miao, Guangyu Hu, Wei Zhang, and Hongce Zhang. (2026). "LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking." DAC.
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA
Talk at London School of Testing, London, UK
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk at UC San Francisco, Department of Testing, San Francisco, California