Automated Verification of Soundness of DNN Certifiers

Open Webpage

Avaljot Singh, Yasmin Chandini Sarita, Charith Mendis, Gagandeep Singh

Published: 09 Apr 2025, Last Modified: 25 May 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3720509