Publications

First-author Papers

• IJCAI’2026 IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

  Mingkai Miao*, Guangyu Hu*, Ziyi Yang, and Hongce Zhang, IJCAI 2026

• DAC’2026 LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking

  Mingkai Miao*, Guangyu Hu*, Wei Zhang, and Hongce Zhang, DAC 2026

• AAAI’2026 BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning

  Mingkai Miao, Jianheng Tang, Guangyu Hu, and Hongce Zhang, AAAI (Oral) 2026

Collaborative Papers

• DATE’2026 FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

  Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, and Hongce Zhang, DATE 2026