TY  - RPRT
TI  - PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks
AU  - Chen Feng
AU  - Ziquan Liu
AU  - Zhuo Zhi
AU  - Ilija Bogunovic
AU  - Carsten Gerner-Beuerle
AU  - Miguel Rodrigues
PY  - 2024
UR  - https://arxiv.org/abs/2402.02629
ID  - 2402.02629
ER  -