Achieving the Tightest Relaxation of Sigmoids for Formal Verification

v1v2 (latest)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification

20 August 2024

Samuel Chevalier

Duncan Starkenburg

Krishnamurthy Dvijotham

ArXiv (abs)PDF HTML

Papers citing "Achieving the Tightest Relaxation of Sigmoids for Formal Verification"

9 / 9 papers shown

Title
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
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 73 74 0 14 Jan 2023
Toward Certified Robustness Against Real-World Distribution Shifts Haoze Wu Teruhiro Tagomori Alexander Robey Fengjun Yang Nikolai Matni George Pappas Hamed Hassani C. Păsăreanu Clark W. Barrett AAML OOD 107 18 0 08 Jun 2022
Neural Network Verification in Control M. Everett AAML 65 16 0 30 Sep 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 87 57 0 06 Apr 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 121 202 0 11 Mar 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 113 188 0 27 Nov 2020
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 144 67 0 02 Dec 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 136 271 0 23 Feb 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.