@misc{indiciae356720e64b86,
  title = {LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking},
  author = {Mingkai Miao and Guangyu Hu and Wei Zhang and Hongce Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.24010},
  note = {Source identifier: 2602.24010}
}