Romy Peled

Technion -Israel Institute of Technology; Amazon

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