LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking

Published in DAC, 2026