Gerner-Beuerle, Carsten

2 publications

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

NeurIPSW 2023 PROSAC: Provably Safe Certification for Machine Learning Models Under Adversarial Attacks Ziquan Liu, Zhuo Zhi, Ilija Bogunovic, Carsten Gerner-Beuerle, Miguel Rodrigues