Romy Peled

1 paper in the IJCAI proceedings

IJCAI 2026

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

with Daniel Kroening, Michael Tautschnig, Yakir Vizel

doi:10.24963/ijcai.2026/444

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings