Title
Support is All You Need for Certified VAE TrainingInternational Conference on Learning Representations (ICLR), 2025 Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 246 0 0 16 Apr 2025
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 379 2 0 27 May 2024
Out-of-Distribution Data: An Acquaintance of Adversarial Examples -- A Survey Naveen Karunanayake Ravin Gunawardena Suranga Seneviratne Sanjay Chawla OOD 297 14 0 08 Apr 2024
Tight Verification of Probabilistic Robustness in Bayesian Neural NetworksInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2024 Ben Batten Mehran Hosseini A. Lomuscio AAML 266 9 0 21 Jan 2024
Probabilistic Reach-Avoid for Bayesian Neural NetworksArtificial Intelligence (AIJ), 2023 Matthew Wicker Luca Laurenti A. Patané Nicola Paoletti Alessandro Abate Marta Z. Kwiatkowska 137 6 0 03 Oct 2023
Adversarial Robustness Certification for Bayesian Neural NetworksWorld Congress on Formal Methods (FM), 2023 Matthew Wicker A. Patané Luca Laurenti Marta Z. Kwiatkowska AAML 213 6 0 23 Jun 2023
BNN-DP: Robustness Certification of Bayesian Neural Networks via Dynamic ProgrammingInternational Conference on Machine Learning (ICML), 2023 Steven Adams A. Patané Morteza Lahijanian Luca Laurenti AAML 290 8 0 19 Jun 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 144 6 0 27 Mar 2023
Provably Bounding Neural Network PreimagesNeural Information Processing Systems (NeurIPS), 2023 Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 404 21 0 02 Feb 2023
Robust Explanation Constraints for Neural NetworksInternational Conference on Learning Representations (ICLR), 2022 Matthew Wicker Juyeon Heo Luca Costabello Adrian Weller FAtt 207 23 0 16 Dec 2022
Probabilistic Verification of ReLU Neural Networks via Characteristic FunctionsConference on Learning for Dynamics & Control (L4DC), 2022 Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 302 9 0 03 Dec 2022
On the Robustness of Bayesian Neural Networks to Adversarial AttacksIEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2022 Luca Bortolussi Ginevra Carbone Luca Laurenti A. Patané G. Sanguinetti Matthew Wicker AAML 227 14 0 13 Jul 2022
Specifying and Testing $k$ -Safety Properties for Machine-Learning ModelsInternational Joint Conference on Artificial Intelligence (IJCAI), 2022 M. Christakis Hasan Ferit Eniser Jörg Hoffmann Adish Singla Valentin Wüstholz 129 6 0 13 Jun 2022
Provably Robust Detection of Out-of-distribution Data (almost) for freeNeural Information Processing Systems (NeurIPS), 2021 Alexander Meinke Julian Bitterwolf Matthias Hein OODD 186 21 0 08 Jun 2021