PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks. - Chen Feng; Ziquan Liu; Zhuo Zhi; Ilija Bogunovic; Carsten Gerner-Beuerle; Miguel Rodrigues 001 (AAAI, 2025)