LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Published in DAC, 2026
Selected conference publication from CV.
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.