AI-Enhanced Static Analysis: Reducing False Alarms Using Large Language Models. - George David Apostolidis; Ilias Kalouptsoglou; Miltiadis G. Siavvas; Dionysios D. Kehagias; Dimitrios Tzovaras (SMARTCOMP, 2025)