Yakir Vizel

1 paper in the IJCAI proceedings

IJCAI 2026

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

with Romy Peled, Daniel Kroening, Michael Tautschnig

doi:10.24963/ijcai.2026/444

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings