PROVEN: Certifying Robustness of Neural Networks with a Probabilistic
Approach

PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach

18 December 2018

Papers citing "PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach"

18 / 18 papers shown

Title
Tightening the Evaluation of PAC Bounds Using Formal Verification Results Thomas Walker A. Lomuscio 24 0 0 29 Jul 2024
Certifying Ensembles: A General Certification Theory with S-Lipschitzness Aleksandar Petrov Francisco Eiras Amartya Sanyal Philip Torr Adel Bibi UQCV 40 1 0 25 Apr 2023
Threats, Vulnerabilities, and Controls of Machine Learning Based Systems: A Survey and Taxonomy Yusuke Kawamoto Kazumasa Miyake K. Konishi Y. Oiwa 24 4 0 18 Jan 2023
Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky Vignesh Sivaramakrishnan Meeko Oishi Panagiotis Tsiotras 29 5 0 03 Dec 2022
Quantifying probabilistic robustness of tree-based classifiers against natural distortions Christoph Schweimer S. Scher 36 0 0 22 Aug 2022
Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions Zhizhen Qin Tsui-Wei Weng Sicun Gao 9 14 0 28 Jul 2022
Achieving Efficiency in Black Box Simulation of Distribution Tails with Self-structuring Importance Samplers Anand Deo Karthyek Murthy 17 10 0 14 Feb 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 58 1 0 22 Jan 2021
Rare-Event Simulation for Neural Network and Random Forest Predictors Yuanlu Bai Zhiyuan Huang H. Lam Ding Zhao 16 23 0 10 Oct 2020
Data-Driven Certification of Neural Networks with Random Input Noise Brendon G. Anderson Somayeh Sojoudi AAML 9 11 0 02 Oct 2020
Towards an Intrinsic Definition of Robustness for a Classifier Théo Giraudon Vincent Gripon Matthias Löwe Franck Vermet OOD AAML 14 2 0 09 Jun 2020
Testing the Robustness of AutoML Systems Tuomas Halvari J. Nurminen T. Mikkonen 16 12 0 06 May 2020
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 43 22 0 30 Apr 2020
Jacobian Adversarially Regularized Networks for Robustness Alvin Chan Yi Tay Yew-Soon Ong Jie Fu AAML 15 74 0 21 Dec 2019
Statistically Robust Neural Network Classification Benjie Wang Stefan Webb Tom Rainforth OOD AAML 16 19 0 10 Dec 2019
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 35 41 0 09 Oct 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017