Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?

Romy Peled, Daniel Kroening, Michael Tautschnig +1

Large Language Models (LLMs) have shown potential for solving mathematical tasks. We show that LLMs can be utilized to generate proofs by induction for hardware verification and th…