Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Published in DAC, 2026
Conference paper on data-driven lemma generation for hardware model checking.
Recommended citation: Mingkai Miao, Guangyu Hu, Wei Zhang, and Hongce Zhang. (2026). "LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking." DAC.
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning
Published in AAAI (Oral), 2026
Conference paper on scalable reversible-circuit synthesis with graph-to-sequence learning.
Recommended citation: Mingkai Miao, Jianheng Tang, Guangyu Hu, and Hongce Zhang. (2026). "BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning." AAAI (Oral).
FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
Published in DATE, 2026
Conference paper on accelerating formal datapath verification with word-level sweeping.
Recommended citation: 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.
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.