Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
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
Github
Papers citing
"Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization"
30 / 30 papers shown
Stochastic Sample Approximations of (Local) Moduli of Continuity
Rodion Nazarov
Allen Gehret
Robert Shorten
Jakub Mareˇcek
193
0
0
18 Sep 2025
Taming Binarized Neural Networks and Mixed-Integer Programs
AAAI Conference on Artificial Intelligence (AAAI), 2023
Johannes Aspman
Georgios Korpas
Georgios Korpas
AI4CE
414
8
0
05 Oct 2023
On-Device Learning with Binary Neural Networks
Lorenzo Vorabbi
Davide Maltoni
Stefano Santi
MQ
333
4
0
29 Aug 2023
Sparse Polynomial Optimization: Theory and Practice
Victor Magron
Jie Wang
171
2
0
23 Aug 2022
Chordal Sparsity for SDP-based Neural Network Verification
Anton Xue
Lars Lindemann
Rajeev Alur
297
4
0
07 Jun 2022
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Christopher Lazarus
Mykel J. Kochenderfer
AAML
221
9
0
11 Mar 2022
A comprehensive review of Binary Neural Network
Artificial Intelligence Review (AIR), 2021
Chunyu Yuan
S. Agaian
MQ
455
144
0
11 Oct 2021
Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning
International Conference on Software Engineering (ICSE), 2021
Renjue Li
Pengfei Yang
Cheng-Chao Huang
Youcheng Sun
Bai Xue
Lijun Zhang
AAML
417
22
0
25 Jan 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
International Conference on Learning Representations (ICLR), 2020
Kaidi Xu
Huan Zhang
Shiqi Wang
Yihan Wang
Suman Jana
Xue Lin
Cho-Jui Hsieh
395
246
0
27 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks
Guy Amir
Haoze Wu
Clark W. Barrett
Guy Katz
324
65
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
Abigail Z. Jacobs
Pushmeet Kohli
AAML
431
100
0
22 Oct 2020
Efficient Exact Verification of Binarized Neural Networks
Kai Jia
Martin Rinard
AAML
MQ
241
68
0
07 May 2020
Verification of Deep Convolutional Neural Networks Using ImageStars
International Conference on Computer Aided Verification (CAV), 2020
Hoang-Dung Tran
Stanley Bak
Weiming Xiang
Taylor T. Johnson
AAML
289
143
0
12 Apr 2020
On Tractable Representations of Binary Neural Networks
International Conference on Principles of Knowledge Representation and Reasoning (KR), 2020
Weijia Shi
Andy Shih
Adnan Darwiche
Arthur Choi
TPM
OffRL
214
76
0
05 Apr 2020
Binary Neural Networks: A Survey
Pattern Recognition (Pattern Recognit.), 2020
Haotong Qin
Yazhe Niu
Xianglong Liu
Xiao Bai
Jingkuan Song
Andrii Zadaianchuk
MQ
425
555
0
31 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error
Sensors Applications Symposium (SA), 2020
Kai Jia
Martin Rinard
AAML
405
50
0
06 Mar 2020
Quantitative Verification of Neural Networks And its Security Applications
Conference on Computer and Communications Security (CCS), 2019
Teodora Baluta
Shiqi Shen
Shweta Shinde
Kuldeep S. Meel
P. Saxena
AAML
305
115
0
25 Jun 2019
Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks
Neural Information Processing Systems (NeurIPS), 2019
Mahyar Fazlyab
Avi Schwarzschild
Hamed Hassani
M. Morari
George J. Pappas
548
544
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
385
462
0
15 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming
IEEE Transactions on Automatic Control (IEEE TAC), 2019
Mahyar Fazlyab
M. Morari
George J. Pappas
AAML
388
263
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
226
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
605
287
0
23 Feb 2019
Semidefinite relaxations for certifying robustness to adversarial examples
Aditi Raghunathan
Jacob Steinhardt
Abigail Z. Jacobs
AAML
456
457
0
02 Nov 2018
Combinatorial Attacks on Binarized Neural Networks
Elias Boutros Khalil
Amrita Gupta
B. Dilkina
AAML
274
43
0
08 Oct 2018
Attacking Binarized Neural Networks
A. Galloway
Graham W. Taylor
M. Moussa
MQ
AAML
342
111
0
01 Nov 2017
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska
S. Kasiviswanathan
L. Ryzhyk
Shmuel Sagiv
T. Walsh
AAML
331
233
0
19 Sep 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
International Conference on Computer Aided Verification (CAV), 2017
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
1.0K
2,076
0
03 Feb 2017
XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks
Mohammad Rastegari
Vicente Ordonez
Joseph Redmon
Ali Farhadi
MQ
823
4,677
0
16 Mar 2016
BinaryConnect: Training Deep Neural Networks with binary weights during propagations
Matthieu Courbariaux
Yoshua Bengio
J. David
MQ
824
3,187
0
02 Nov 2015
Intriguing properties of neural networks
International Conference on Learning Representations (ICLR), 2013
Christian Szegedy
Wojciech Zaremba
Ilya Sutskever
Joan Bruna
D. Erhan
Ian Goodfellow
Rob Fergus
AAML
1.4K
16,393
1
21 Dec 2013
1
Page 1 of 1
