| Connecting certified and adversarial training Y Mao, M Müller, M Fischer, M Vechev Advances in Neural Information Processing Systems 36, 2024 | 16 | 2024 |
| " Is your explanation stable?" A Robustness Evaluation Framework for Feature Attribution Y Gan, Y Mao, X Zhang, S Ji, Y Pu, M Han, J Yin, T Wang Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 14 | 2022 |
| Transfer attacks revisited: A large-scale empirical study in real computer vision settings Y Mao, C Fu, S Wang, S Ji, X Zhang, Z Liu, J Zhou, AX Liu, R Beyah, ... 2022 IEEE Symposium on Security and Privacy (SP), 1423-1439, 2022 | 14 | 2022 |
| Understanding certified training with interval bound propagation Y Mao, MN Müller, M Fischer, M Vechev arXiv preprint arXiv:2306.10426, 2023 | 8 | 2023 |
| Expressivity of reLU-networks under convex relaxations M Baader, MN Müller, Y Mao, M Vechev arXiv preprint arXiv:2311.04015, 2023 | 4 | 2023 |
| Overcoming the Paradox of Certified Training with Gaussian Smoothing S Balauca, MN Müller, Y Mao, M Baader, M Fischer, M Vechev arXiv preprint arXiv:2403.07095, 2024 | 1 | 2024 |
| Transfer Learning Assisted Fast Design Migration Over Technology Nodes: A Study on Transformer Matching Network C Chu, Y Mao, H Wang 2024 IEEE/MTT-S International Microwave Symposium-IMS 2024, 188-191, 2024 | | 2024 |
| CTBENCH: A Library and Benchmark for Certified Training Y Mao, S Balauca, M Vechev arXiv preprint arXiv:2406.04848, 2024 | | 2024 |
