1. A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
2. A Large-Scale Robustness Analysis of Video Action Recognition Models;2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR);2023-06
3. On Adversarial Robustness Of Large-Scale Audio Visual Learning;ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP);2022-05-23
4. Integrative System of Deep Classifiers Certification: Case of Convolutional Attacks;Lecture Notes in Computer Science;2022
5. ContourVerifier: A Novel System for the Robustness Evaluation of Deep Contour Classifiers;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022