ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2405.17049
  4. Cited By
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
v1v2 (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
ArXiv (abs)PDFHTML

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
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
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
Sparse Polynomial Optimization: Theory and Practice
Victor Magron
Jie Wang
51
1
0
23 Aug 2022
Chordal Sparsity for SDP-based Neural Network Verification
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
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
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
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
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
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
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
Efficient Exact Verification of Binarized Neural Networks
Kai Jia
Martin Rinard
AAMLMQ
48
59
0
07 May 2020
Verification of Deep Convolutional Neural Networks Using ImageStars
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
On Tractable Representations of Binary Neural Networks
Weijia Shi
Andy Shih
Adnan Darwiche
Arthur Choi
TPMOffRL
67
69
0
05 Apr 2020
Binary Neural Networks: A Survey
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
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
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
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
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
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
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
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
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
Combinatorial Attacks on Binarized Neural Networks
Elias Boutros Khalil
Amrita Gupta
B. Dilkina
AAML
89
40
0
08 Oct 2018
Attacking Binarized Neural Networks
Attacking Binarized Neural Networks
A. Galloway
Graham W. Taylor
M. Moussa
MQAAML
81
106
0
01 Nov 2017
Verifying Properties of Binarized Deep Neural Networks
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
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
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
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
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