v1v2 (latest)

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

27 May 2024

Papers citing "Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization"

29 / 29 papers shown

Title
Taming Binarized Neural Networks and Mixed-Integer Programs Johannes Aspman Georgios Korpas Georgios Korpas AI4CE 83 7 0 05 Oct 2023
On-Device Learning with Binary Neural Networks Lorenzo Vorabbi Davide Maltoni Stefano Santi MQ 95 4 0 29 Aug 2023
Sparse Polynomial Optimization: Theory and Practice Victor Magron Jie Wang 51 1 0 23 Aug 2022
Chordal Sparsity for SDP-based Neural Network Verification Anton Xue Lars Lindemann Rajeev Alur 97 2 0 07 Jun 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 58 9 0 11 Mar 2022
A comprehensive review of Binary Neural Network Chunyu Yuan S. Agaian MQ 133 103 0 11 Oct 2021
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning Renjue Li Pengfei Yang Cheng-Chao Huang Youcheng Sun Bai Xue Lijun Zhang AAML 159 18 0 25 Jan 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 124 188 0 27 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 65 59 0 05 Nov 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming Sumanth Dathathri Krishnamurthy Dvijotham Alexey Kurakin Aditi Raghunathan J. Uesato ... Shreya Shankar Jacob Steinhardt Ian Goodfellow Percy Liang Pushmeet Kohli AAML 107 95 0 22 Oct 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 48 59 0 07 May 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 68 129 0 12 Apr 2020
On Tractable Representations of Binary Neural Networks Weijia Shi Andy Shih Adnan Darwiche Arthur Choi TPM OffRL 67 69 0 05 Apr 2020
Binary Neural Networks: A Survey Haotong Qin Ruihao Gong Xianglong Liu Xiao Bai Jingkuan Song N. Sebe MQ 145 476 0 31 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 89 105 0 25 Jun 2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks Mahyar Fazlyab Alexander Robey Hamed Hassani M. Morari George J. Pappas 180 462 0 12 Jun 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 105 404 0 15 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 92 233 0 04 Mar 2019
Verification of Non-Linear Specifications for Neural Networks Chongli Qin Krishnamurthy Dvijotham Dvijotham Brendan O'Donoghue Rudy Bunel Robert Stanforth Sven Gowal J. Uesato G. Swirszcz Pushmeet Kohli AAML 68 44 0 25 Feb 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 148 271 0 23 Feb 2019
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 124 439 0 02 Nov 2018
Combinatorial Attacks on Binarized Neural Networks Elias Boutros Khalil Amrita Gupta B. Dilkina AAML 89 40 0 08 Oct 2018
Attacking Binarized Neural Networks A. Galloway Graham W. Taylor M. Moussa MQ AAML 81 106 0 01 Nov 2017
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 117 217 0 19 Sep 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 334 1,878 0 03 Feb 2017
XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks Mohammad Rastegari Vicente Ordonez Joseph Redmon Ali Farhadi MQ 192 4,375 0 16 Mar 2016
BinaryConnect: Training Deep Neural Networks with binary weights during propagations Matthieu Courbariaux Yoshua Bengio J. David MQ 268 3,004 0 02 Nov 2015
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 312 14,988 1 21 Dec 2013