Mingkai Miao

1 paper in the IJCAI proceedings

IJCAI 2026

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking

with Guangyu Hu, Ziyi Yang, Hongce Zhang

doi:10.24963/ijcai.2026/31

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings