TY  - RPRT
TI  - LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
AU  - Mingkai Miao
AU  - Guangyu Hu
AU  - Wei Zhang
AU  - Hongce Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.24010
ID  - 2602.24010
ER  -