Mingkai Miao

Hong Kong University of Science and Technology (Guangzhou) , Guangzhou , Guangdong , China

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