Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

3 February 2017

Mykel Kochenderfer

Papers citing "Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks"

50 / 346 papers shown

Title
Certification of embedded systems based on Machine Learning: A survey Guillaume Vidot Christophe Gabreau I. Ober Iulian Ober 11 12 0 14 Jun 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 19 2 0 09 Jun 2021
Provably Robust Detection of Out-of-distribution Data (almost) for free Alexander Meinke Julian Bitterwolf Matthias Hein OODD 30 22 0 08 Jun 2021
The Care Label Concept: A Certification Suite for Trustworthy and Resource-Aware Machine Learning K. Morik Helena Kotthaus Lukas Heppe Danny Heinrich Raphael Fischer Andrea Pauly Nico Piatkowski 23 4 0 01 Jun 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 21 31 0 26 May 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 26 6 0 20 Apr 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 11 39 0 03 Apr 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 41 90 0 05 Mar 2021
A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems Nur Imtiazul Haque M. Rahman Md Hasan Shahriar Alvi Ataur Khalil Selcuk Uluagac 24 14 0 05 Mar 2021
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers Colin Paterson Haoze Wu John M. Grese R. Calinescu C. Păsăreanu Clark W. Barrett AAML 24 21 0 02 Mar 2021
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks Muhammad Usman Yannic Noller C. Păsăreanu Youcheng Sun D. Gopinath 24 8 0 27 Feb 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications Leonard Berrada Sumanth Dathathri Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel J. Uesato Sven Gowal M. P. Kumar AAML OOD 30 17 0 18 Feb 2021
Low Curvature Activations Reduce Overfitting in Adversarial Training Vasu Singla Sahil Singla David Jacobs S. Feizi AAML 32 45 0 15 Feb 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 28 13 0 12 Feb 2021
Fast Training of Provably Robust Neural Networks by SingleProp Akhilan Boopathy Tsui-Wei Weng Sijia Liu Pin-Yu Chen Gaoyuan Zhang Luca Daniel AAML 11 7 0 01 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
Explainability of deep vision-based autonomous driving systems: Review and challenges Éloi Zablocki H. Ben-younes P. Pérez Matthieu Cord XAI 37 169 0 13 Jan 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Muhammad Shafique Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 78 100 0 04 Jan 2021
ROBY: Evaluating the Robustness of a Deep Model by its Decision Boundaries Jinyin Chen Zhen Wang Haibin Zheng Jun Xiao Zhaoyan Ming AAML 11 5 0 18 Dec 2020
Explanation from Specification Harish Naik Gyorgy Turán XAI 27 0 0 13 Dec 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 19 58 0 05 Nov 2020
An efficient nonconvex reformulation of stagewise convex optimization problems Rudy Bunel Oliver Hinder Srinadh Bhojanapalli Krishnamurthy Dvijotham Dvijotham OffRL 32 14 0 27 Oct 2020
Safety Verification of Model Based Reinforcement Learning Controllers Akshita Gupta Inseok Hwang 37 5 0 21 Oct 2020
Optimism in the Face of Adversity: Understanding and Improving Deep Learning through Adversarial Robustness Guillermo Ortiz-Jiménez Apostolos Modas Seyed-Mohsen Moosavi-Dezfooli P. Frossard AAML 29 48 0 19 Oct 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification Davide Corsi Enrico Marchesini Alessandro Farinelli OffRL 14 2 0 19 Oct 2020
Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis Yicheng Luo A. Filieri Yuanshuo Zhou 19 5 0 10 Oct 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 Sep 2020
Abstract Neural Networks Matthew Sotoudeh Aditya V. Thakur 8 19 0 11 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 30 128 0 09 Sep 2020
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 39 48 0 24 Aug 2020
Adversarial Training and Provable Robustness: A Tale of Two Objectives Jiameng Fan Wenchao Li AAML 17 20 0 13 Aug 2020
Learning Event-triggered Control from Data through Joint Optimization Niklas Funk Dominik Baumann V. Berenz Sebastian Trimpe 8 17 0 11 Aug 2020
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 25 73 0 07 Aug 2020
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples I. Papusha Rosa Wu Joshua Brulé Yanni Kouskoulas D. Genin Aurora C. Schmidt 8 5 0 03 Aug 2020
RANDOM MASK: Towards Robust Convolutional Neural Networks Tiange Luo Tianle Cai Mengxiao Zhang Siyu Chen Liwei Wang AAML OOD 19 17 0 27 Jul 2020
Robust Machine Learning via Privacy/Rate-Distortion Theory Ye Wang Shuchin Aeron Adnan Siraj Rakin T. Koike-Akino P. Moulin OOD 14 6 0 22 Jul 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 33 62 0 18 Jul 2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 16 10 0 06 Jul 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 27 89 0 24 Jun 2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 17 49 0 24 Jun 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 21 57 0 21 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
Counterexample-Guided Learning of Monotonic Neural Networks Aishwarya Sivaraman G. Farnadi T. Millstein Guy Van den Broeck 24 50 0 16 Jun 2020
D-square-B: Deep Distribution Bound for Natural-looking Adversarial Attack Qiuling Xu Guanhong Tao Xiangyu Zhang AAML 22 2 0 12 Jun 2020
Global Robustness Verification Networks Weidi Sun Yuteng Lu Xiyue Zhang Zhanxing Zhu Meng Sun AAML 8 2 0 08 Jun 2020
AI Research Considerations for Human Existential Safety (ARCHES) Andrew Critch David M. Krueger 27 50 0 30 May 2020
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation Sungmin Kang R. Feldt S. Yoo AAML 26 32 0 19 May 2020