Ziyi Yang

2 papers in the IJCAI proceedings

IJCAI 2026

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

with Mingkai Miao, Guangyu Hu, Hongce Zhang

doi:10.24963/ijcai.2026/31

Details PDF

IJCAI 2025

Detecting Hallucination in Large Language Models Through Deep Internal Representation Analysis

with Luan Zhang, Dandan Song, Zhijing Wu, Yuhang Tian, Changzhi Zhou, Jing Xu, Shuhao Zhang

doi:10.24963/ijcai.2025/929

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings