IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities - Li, Ziyang; Dutta, Saikat; Naik, Mayur (International Conference on Learning Representations, 2025)