Guangyu Hu

Hong Kong University of Science and Technology , Clear Water Bay , Hong Kong

1 paper in the IJCAI proceedings

IJCAI 2026

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

with Mingkai Miao, Ziyi Yang, Hongce Zhang

doi:10.24963/ijcai.2026/31

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings