 Keeping up with dynamic attackers: Certifying robustness to adaptive online data poisoningInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2025 |
 Relational DNN Verification With Cross Executional Bound RefinementInternational Conference on Machine Learning (ICML), 2024 |
 CBD: A Certified Backdoor Detector Based on Local Dominant ProbabilityNeural Information Processing Systems (NeurIPS), 2023 |
 Shared Adversarial Unlearning: Backdoor Mitigation by Unlearning Shared
Adversarial ExamplesNeural Information Processing Systems (NeurIPS), 2023 |
