Daniel Kroening

2 papers in the IJCAI proceedings

IJCAI 2026

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

with Romy Peled, Michael Tautschnig, Yakir Vizel

doi:10.24963/ijcai.2026/444

Details PDF

IJCAI 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

with Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Marta Kwiatkowska

doi:10.24963/ijcai.2019/824

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings