Michael Tautschnig

Amazon; Queen Mary University of London

1 paper in the IJCAI proceedings

IJCAI 2026

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

with Romy Peled, Daniel Kroening, Yakir Vizel

doi:10.24963/ijcai.2026/444

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings