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"

46 / 346 papers shown

Title
Robustness Verification of Support Vector Machines Francesco Ranzato Marco Zanella AAML 21 17 0 26 Apr 2019
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges Naoto Sato Hironobu Kuruma Y. Nakagawa H. Ogawa 17 12 0 26 Apr 2019
Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving Maxime Bouton J. Karlsson A. Nakhaei K. Fujimura Mykel J. Kochenderfer Jana Tumova 17 69 0 15 Apr 2019
Efficient and Safe Exploration in Deterministic Markov Decision Processes with Unknown Transition Models Erdem Biyik Jonathan Margoliash S. R. Alimo Dorsa Sadigh 13 15 0 01 Apr 2019
Scaling up the randomized gradient-free adversarial attack reveals overestimation of robustness using established attacks Francesco Croce Jonas Rauber Matthias Hein AAML 20 30 0 27 Mar 2019
The LogBarrier adversarial attack: making effective use of decision boundary information Chris Finlay Aram-Alexandre Pooladian Adam M. Oberman AAML 26 25 0 25 Mar 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 390 0 15 Mar 2019
Statistical Guarantees for the Robustness of Bayesian Neural Networks L. Cardelli M. Kwiatkowska Luca Laurenti Nicola Paoletti A. Patané Matthew Wicker AAML 31 54 0 05 Mar 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 19 15 0 26 Feb 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 24 80 0 26 Feb 2019
Fast Neural Network Verification via Shadow Prices Vicencc Rubies-Royo Roberto Calandra D. Stipanović Claire Tomlin AAML 38 41 0 19 Feb 2019
Adversarial Examples Are a Natural Consequence of Test Error in Noise Nic Ford Justin Gilmer Nicholas Carlini E. D. Cubuk AAML 22 318 0 29 Jan 2019
Optimization Problems for Machine Learning: A Survey Claudio Gambella Bissan Ghaddar Joe Naoum-Sawaya AI4CE 30 178 0 16 Jan 2019
PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach Tsui-Wei Weng Pin-Yu Chen Lam M. Nguyen M. Squillante Ivan V. Oseledets Luca Daniel AAML 13 30 0 18 Dec 2018
Specification-Guided Safety Verification for Feedforward Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 11 19 0 14 Dec 2018
A randomized gradient-free attack on ReLU networks Francesco Croce Matthias Hein AAML 37 21 0 28 Nov 2018
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 14 37 0 28 Nov 2018
Scalable agent alignment via reward modeling: a research direction Jan Leike David M. Krueger Tom Everitt Miljan Martic Vishal Maini Shane Legg 34 395 0 19 Nov 2018
Verification of Recurrent Neural Networks Through Rule Extraction Qinglong Wang Kaixuan Zhang Xue Liu C. Lee Giles AAML 28 18 0 14 Nov 2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks Naoto Sato Duong Nguyen Anh M. Kaneko Yuichiroh Nakagawa H. Ogawa Son Hoang Michael J. Butler 8 1 0 09 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou M. Guizani AAML 19 23 0 06 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 11 742 0 02 Nov 2018
Evading classifiers in discrete domains with provable optimality guarantees B. Kulynych Jamie Hayes N. Samarin Carmela Troncoso AAML 15 19 0 25 Oct 2018
On Extensions of CLEVER: A Neural Network Robustness Evaluation Algorithm Tsui-Wei Weng Huan Zhang Pin-Yu Chen A. Lozano Cho-Jui Hsieh Luca Daniel 28 10 0 19 Oct 2018
Deep Neural Network Compression for Aircraft Collision Avoidance Systems Kyle D. Julian Mykel J. Kochenderfer Michael P. Owen 12 168 0 09 Oct 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 42 246 0 25 Sep 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 12 199 0 09 Sep 2018
DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing Xiaofei Xie L. Ma Felix Juefei Xu Hongxu Chen Minhui Xue Bo-wen Li Yang Liu Jianjun Zhao Jianxiong Yin Simon See 37 40 0 04 Sep 2018
Motivating the Rules of the Game for Adversarial Example Research Justin Gilmer Ryan P. Adams Ian Goodfellow David G. Andersen George E. Dahl AAML 50 226 0 18 Jul 2018
Boosting Combinatorial Problem Modeling with Machine Learning M. Lombardi M. Milano AI4CE 18 65 0 15 Jul 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang M. Kwiatkowska AAML 11 111 0 10 Jul 2018
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing Jingyi Wang Jun Sun Peixin Zhang Xinyu Wang AAML 21 41 0 14 May 2018
AGI Safety Literature Review Tom Everitt G. Lea Marcus Hutter AI4CE 34 115 0 03 May 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang M. Kwiatkowska Daniel Kroening 12 333 0 30 Apr 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 20 472 0 28 Apr 2018
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 24 90 0 19 Apr 2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems Cumhur Erkan Tuncali J. Kapinski Hisahiro Ito Jyotirmoy V. Deshmukh 23 42 0 11 Apr 2018
Adversarial Logit Pairing Harini Kannan Alexey Kurakin Ian Goodfellow AAML 34 624 0 16 Mar 2018
Constrained Image Generation Using Binarized Neural Networks with Decision Procedures S. Korneev Nina Narodytska Luca Pulina A. Tacchella Nikolaj S. Bjørner Shmuel Sagiv MQ 26 13 0 24 Feb 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017
Certifying Some Distributional Robustness with Principled Adversarial Training Aman Sinha Hongseok Namkoong Riccardo Volpi John C. Duchi OOD 38 854 0 29 Oct 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 39 1,352 0 18 May 2017
Extending Defensive Distillation Nicolas Papernot Patrick McDaniel AAML 29 118 0 15 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 22 280 0 28 Apr 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé S. Seshia AAML 24 230 0 02 Mar 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016