v1v2 (latest)

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"

34 / 34 papers shown

Title
Comparing Neural Network Encodings for Logic-based Explainability Levi Cordeiro Carvalho Saulo A. F. Oliveira Thiago Alves Rocha AAML 148 0 0 26 May 2025
Data-Driven Falsification of Cyber-Physical Systems Atanu Kundu Sauvik Gon Rajarshi Ray AAML AI4CE 86 4 0 06 May 2025
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models Xiangyu Yin Jiaxu Liu Zhen Chen Jinwei Hu Yi Dong Xiaowei Huang Wenjie Ruan AAML 84 0 0 08 Mar 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 114 7 0 17 Feb 2025
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 114 0 0 27 Jan 2025
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 97 1 0 07 Nov 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 110 1 0 26 Oct 2024
Reinfier and Reintrainer: Verification and Interpretation-Driven Safe Deep Reinforcement Learning Frameworks Zixuan Yang Jiaqi Zheng Guihai Chen OffRL 83 0 0 19 Oct 2024
Towards Universal Certified Robustness with Multi-Norm Training Enyi Jiang Gagandeep Singh Gagandeep Singh AAML 134 1 0 03 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 80 1 0 02 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 713 17 0 31 Aug 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 171 0 0 28 Aug 2024
CTBENCH: A Library and Benchmark for Certified Training Yuhao Mao Stefan Balauca Martin Vechev OOD 100 5 0 07 Jun 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 87 18 0 31 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 115 2 0 27 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 118 1 0 27 May 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 229 0 0 23 Apr 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 109 2 0 26 Jan 2024
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control Songyuan Zhang Oswin So Kunal Garg Chuchu Fan AI4CE 156 24 0 25 Jan 2024
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 215 8 0 28 Aug 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 154 37 0 29 Apr 2023
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 101 1 0 22 Jan 2021
Adversarial Examples on Object Recognition: A Comprehensive Survey A. Serban E. Poll Joost Visser AAML 105 73 0 07 Aug 2020
Explaining Deep Neural Networks and Beyond: A Review of Methods and Applications Wojciech Samek G. Montavon Sebastian Lapuschkin Christopher J. Anders K. Müller XAI 123 83 0 17 Mar 2020
Cryptanalytic Extraction of Neural Network Models Nicholas Carlini Matthew Jagielski Ilya Mironov FedML MLAU MIACV AAML 138 137 0 10 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020
A Robust Speaker Clustering Method Based on Discrete Tied Variational Autoencoder Chen Feng Jianzong Wang Tongxu Li Junqing Peng Jing Xiao DRL 57 0 0 04 Mar 2020
Preventing Gradient Attenuation in Lipschitz Constrained Convolutional Networks Qiyang Li Saminul Haque Cem Anil James Lucas Roger C. Grosse Joern-Henrik Jacobsen 114 116 0 03 Nov 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 106 127 0 31 Oct 2019
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 245 945 0 21 Oct 2016
Measuring Neural Net Robustness with Constraints Osbert Bastani Yani Andrew Ioannou Leonidas Lampropoulos Dimitrios Vytiniotis A. Nori A. Criminisi AAML 102 424 0 24 May 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 102 4,179 0 25 Apr 2016
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 282 19,145 0 20 Dec 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 293 14,968 1 21 Dec 2013