TY  - RPRT
TI  - Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
AU  - Romy Peled
AU  - Daniel Kroening
AU  - Michael Tautschnig
AU  - Yakir Vizel
PY  - 2026
UR  - https://arxiv.org/abs/2511.02521
ID  - 2511.02521
ER  -