Automated Verification of Soundness of DNN Certifiers

Published in OOPSLA, 2025

Recommended citation: Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh, OOPSLA 2025. https://dl.acm.org/doi/10.1145/3720509