DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting

16 June 2021

Papers citing "DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting"

9 / 9 papers shown

Title
Ensuring Both Positivity and Stability Using Sector-Bounded Nonlinearity for Systems with Neural Network Controllers Hamidreza Montazeri Hedesh Milad Siami 18 0 0 18 Jun 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis Sina Sharifi Mahyar Fazlyab 40 0 0 06 Jun 2024
Compact Optimality Verification for Optimization Proxies Wenbo Chen Haoruo Zhao Mathieu Tanneau Pascal Van Hentenryck 30 0 0 31 May 2024
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks Jun Wang Haojun Chen Zihe Sun Y. Kantaros 17 0 0 17 Nov 2023
Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes Taha Entesari Mahyar Fazlyab 25 5 0 14 Dec 2022
Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan J. Hayase A. Dimakis Sewoong Oh 10 4 0 14 Oct 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo-wen Li Suman Jana Cho-Jui Hsieh J. Zico Kolter 22 94 0 11 Aug 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 10 1 0 07 Jun 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017