IntelliSA: An Intelligent Static Analyzer for IaC Security Smell Detection Using Symbolic Rules and Neural Inference. - Qiyue Mei; Michael Fu (CoRR, 2026)