| Title: | Large Lemma Miners – Can LLMs do Induction Proofs for Hardware? |
|---|---|
| Links: | |
| Authors: | Romy Peled |
| Daniel Kroening EMail | |
| Michael Tautschnig | |
| Yakir Vizel | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{pktv2026,
AUTHOR = { Peled, Romy
and Kroening, Daniel
and Tautschnig, Michael
and Vizel, Yakir },
TITLE = { {L}arge {L}emma {M}iners -- Can {LLMs} do Induction Proofs for Hardware? },
BOOKTITLE = { IJCAI },
NOTE = { To appear. },
YEAR = { 2026 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.