Y. Tian, “CodeHalu: Investigating Code Hallucinations in LLMs via Execution-based Verification”, AAAI, vol. 39, no. 24, pp. 25300–25308, Apr. 2025.