TY  - RPRT
TI  - Automated Verification of Soundness of DNN Certifiers
AU  - Avaljot Singh
AU  - Yasmin Chandini Sarita
AU  - Charith Mendis
AU  - Gagandeep Singh
PY  - 2025
DO  - 10.1145/3720509
UR  - https://arxiv.org/abs/2504.04542
ID  - 2504.04542
ER  -