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
SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents Amirhossein Zolfagharian Manel Abdellatif Lionel C. Briand S. Ramesh 25 5 0 03 Aug 2023
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations J. Cyranka Kevin E. M. Church J. Lessard 39 0 0 28 Jul 2023
Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops Saber Jafarpour Akash Harapanahalli Samuel Coogan 31 12 0 27 Jul 2023
Formal description of ML models for unambiguous implementation Adrien Gauffriau Iryna De Albuquerque Silva C. Pagetti 8 1 0 24 Jul 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 27 6 0 20 Jul 2023
Learning Prescriptive ReLU Networks Wei-Ju Sun Asterios Tsiourvas 21 2 0 01 Jun 2023
Incremental Randomized Smoothing Certification Shubham Ugare Tarun Suresh Debangshu Banerjee Gagandeep Singh Sasa Misailovic AAML 30 8 0 31 May 2023
How Deep Learning Sees the World: A Survey on Adversarial Attacks & Defenses Joana Cabral Costa Tiago Roxo Hugo Manuel Proença Pedro R. M. Inácio AAML 37 50 0 18 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip H. S. Torr M. P. Kumar PINN 26 1 0 17 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 36 7 0 05 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
The Power of Typed Affine Decision Structures: A Case Study Gerrit Nolte Maximilian Schlüter Alnis Murtovi Bernhard Steffen AAML 17 3 0 28 Apr 2023
Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser Astha Verma A. Subramanyam Siddhesh Bangar Naman Lal R. Shah Shiníchi Satoh 37 4 0 13 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 33 15 0 31 Mar 2023
Architecturing Binarized Neural Networks for Traffic Sign Recognition Andreea Postovan Madalina Erascu 25 4 0 27 Mar 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 28 5 0 27 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Jiaheng Liu Min Zhang 33 4 0 21 Mar 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 31 17 0 19 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 27 7 0 07 Mar 2023
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation Davide Corsi Luca Marzari Ameya Pore Alessandro Farinelli A. Casals Paolo Fiorini Diego DallÁlba 27 9 0 06 Mar 2023
Testing the Channels of Convolutional Neural Networks Kang Choi Donghyun Son Younghoon Kim Jiwon Seo 22 1 0 06 Mar 2023
Certified Robust Neural Networks: Generalization and Corruption Resistance Amine Bennouna Ryan Lucas Bart P. G. Van Parys 38 10 0 03 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
On the Robustness of Randomized Ensembles to Adversarial Perturbations Hassan Dbouk Naresh R Shanbhag AAML 23 7 0 02 Feb 2023
Towards Large Certified Radius in Randomized Smoothing using Quasiconcave Optimization Bo-Han Kung Shang-Tse Chen AAML 19 0 0 01 Feb 2023
Reachability Analysis of Neural Network Control Systems Chi Zhang W. Ruan Peipei Xu 26 13 0 28 Jan 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 29 2 0 27 Jan 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz M. Zhang AAML 37 5 0 27 Jan 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 30 1 0 27 Jan 2023
Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations Maximilian Schlüter Gerrit Nolte Alnis Murtovi Bernhard Steffen 23 6 0 19 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers Saber Jafarpour Akash Harapanahalli Samuel Coogan 28 10 0 19 Jan 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 28 16 0 17 Jan 2023
Safety Verification of Neural Network Control Systems Using Guaranteed Neural Network Model Reduction Weiming Xiang Zhongzhu Shao 23 3 0 17 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 30 66 0 14 Jan 2023
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 27 0 0 11 Jan 2023
gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks Natan Levy Raz Yerushalmi Guy Katz AAML 20 1 0 05 Jan 2023
ExploreADV: Towards exploratory attack for Neural Networks Tianzuo Luo Yuyi Zhong S. Khoo AAML 24 1 0 01 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 41 1 0 15 Dec 2022
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking Dennis Gross T. D. Simão N. Jansen G. Pérez AAML 46 2 0 10 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 44 13 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 23 11 0 06 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 42 10 0 02 Dec 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 24 0 0 16 Nov 2022
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 33 11 0 04 Nov 2022
Verifying And Interpreting Neural Networks using Finite Automata Marco Salzer Eric Alsmann Florian Bruse M. Lange AAML 27 3 0 02 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 39 6 0 01 Nov 2022
Towards Reliable Neural Specifications Chuqin Geng Nham Le Xiaojie Xu Zhaoyue Wang A. Gurfinkel X. Si AAML 36 10 0 28 Oct 2022
Accelerating Certified Robustness Training via Knowledge Transfer Pratik Vaishnavi Kevin Eykholt Amir Rahmati 18 7 0 25 Oct 2022
Secure and Trustworthy Artificial Intelligence-Extended Reality (AI-XR) for Metaverses Adnan Qayyum M. A. Butt Hassan Ali Muhammad Usman O. Halabi Ala I. Al-Fuqaha Q. Abbasi Muhammad Ali Imran Junaid Qadir 30 32 0 24 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 47 39 0 24 Oct 2022