Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.17049
Cited By
v1
v2 (latest)
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
27 May 2024
Jianting Yang
Srecko Ðurasinovic
Jean B. Lasserre
Victor Magron
Jun Zhao
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
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
56
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
60
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
70
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
73
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
172
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,006
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
1