Yuchen Tian Weixiang Yan Qian Yang 0007 Xuandong Zhao Qian Chen 0003 Wen Wang 0001 Ziyang Luo Lei Ma Dawn Song CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification. 25300-25308 2025 AAAI https://doi.org/10.1609/aaai.v39i24.34717 conf/aaai/2025 db/conf/aaai/aaai2025.html#TianYYZCWLMS25