Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1711.00851
Cited By
v1
v2
v3 (latest)
Provable defenses against adversarial examples via the convex outer adversarial polytope
2 November 2017
Eric Wong
J. Zico Kolter
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Github (387★)
Papers citing
"Provable defenses against adversarial examples via the convex outer adversarial polytope"
50 / 957 papers shown
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
European Conference on Artificial Intelligence (ECAI), 2024
Ben Batten
Yang Zheng
Alessandro De Palma
Panagiotis Kouvaros
A. Lomuscio
AAML
337
1
0
23 Aug 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
Xiyue Zhang
Benjie Wang
Marta Z. Kwiatkowska
Huan Zhang
AAML
287
6
0
17 Aug 2024
Certifiably Robust Encoding Schemes
International Conference on Quantum Computing and Engineering (QCE), 2024
Aman Saxena
Tom Wollschlager
Nicola Franco
J. M. Lorenz
Stephan Günnemann
OOD
AAML
272
1
0
02 Aug 2024
CERT-ED: Certifiably Robust Text Classification for Edit Distance
Conference on Empirical Methods in Natural Language Processing (EMNLP), 2024
Zhuoqun Huang
Yipeng Wang
Seunghee Shin
Benjamin I. P. Rubinstein
AAML
281
1
0
01 Aug 2024
Adversarial Robustification via Text-to-Image Diffusion Models
Daewon Choi
Jongheon Jeong
Huiwon Jang
Jinwoo Shin
DiffM
363
2
0
26 Jul 2024
How to beat a Bayesian adversary
Zihan Ding
Kexin Jin
J. Latz
Chenguang Liu
AAML
BDL
179
0
0
11 Jul 2024
Certified Continual Learning for Neural Network Regression
Long H. Pham
Jun Sun
305
3
0
09 Jul 2024
SPLITZ: Certifiable Robustness via Split Lipschitz Randomized Smoothing
Meiyu Zhong
Ravi Tandon
414
6
0
03 Jul 2024
Watch the Watcher! Backdoor Attacks on Security-Enhancing Diffusion Models
Changjiang Li
Ren Pang
Bochuan Cao
Jinghui Chen
Fenglong Ma
Shouling Ji
Ting Wang
DiffM
181
4
0
14 Jun 2024
CTBENCH: A Library and Benchmark for Certified Training
Yuhao Mao
Stefan Balauca
Martin Vechev
OOD
548
10
0
07 Jun 2024
Provable Bounds on the Hessian of Neural Networks: Derivative-Preserving Reachability Analysis
Sina Sharifi
Mahyar Fazlyab
199
1
0
06 Jun 2024
Distributional Adversarial Loss
Saba Ahmadi
Siddharth Bhandari
Avrim Blum
Chen Dan
Prabhav Jain
270
0
0
05 Jun 2024
Effects of Exponential Gaussian Distribution on (Double Sampling) Randomized Smoothing
Youwei Shu
Xi Xiao
Derui Wang
Yuxin Cao
Siji Chen
Jason Xue
Linyi Li
Yue Liu
331
2
0
04 Jun 2024
CR-UTP: Certified Robustness against Universal Text Perturbations on Large Language Models
Qian Lou
Xin Liang
Jiaqi Xue
Yancheng Zhang
Rui Xie
Mengxin Zheng
AAML
292
0
0
04 Jun 2024
Certifying Global Robustness for Deep Neural Networks
You Li
Guannan Zhao
Shuyu Kong
Yunqi He
Hai Zhou
AAML
147
1
0
31 May 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities
Zhouxing Shi
Qirui Jin
Zico Kolter
Suman Jana
Cho-Jui Hsieh
Huan Zhang
490
30
0
31 May 2024
Enhancing Adversarial Robustness in SNNs with Sparse Gradients
Yujia Liu
Tong Bu
Jianhao Ding
Zecheng Hao
Tiejun Huang
Zhaofei Yu
AAML
227
13
0
30 May 2024
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
David Boetius
Stefan Leue
Tobias Sutter
437
2
0
27 May 2024
Certifying Adapters: Enabling and Enhancing the Certification of Classifier Adversarial Robustness
Jieren Deng
Hanbin Hong
A. Palmer
Xin Zhou
Jinbo Bi
Kaleel Mahmood
Yuan Hong
Derek Aguiar
AAML
183
1
0
25 May 2024
Adversarial Training via Adaptive Knowledge Amalgamation of an Ensemble of Teachers
Shayan Mohajer Hamidi
Linfeng Ye
AAML
261
2
0
22 May 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks
Cornelius Emde
Francesco Pinto
Thomas Lukasiewicz
Juil Sock
Adel Bibi
AAML
543
2
0
22 May 2024
Relational DNN Verification With Cross Executional Bound Refinement
International Conference on Machine Learning (ICML), 2024
Debangshu Banerjee
Gagandeep Singh
AAML
284
7
0
16 May 2024
Cross-Input Certified Training for Universal Perturbations
European Conference on Computer Vision (ECCV), 2024
Changming Xu
Gagandeep Singh
AAML
292
2
0
15 May 2024
Certified
ℓ
2
\ell_2
ℓ
2
Attribution Robustness via Uniformly Smoothed Attributions
Fan Wang
Adams Wai-Kin Kong
239
2
0
10 May 2024
Verified Neural Compressed Sensing
Rudy Bunel
Dj Dvijotham
M. P. Kumar
Alessandro De Palma
Robert Stanforth
MLT
328
2
0
07 May 2024
Interval Abstractions for Robust Counterfactual Explanations
Junqi Jiang
Francesco Leofante
Antonio Rago
Francesca Toni
235
5
0
21 Apr 2024
Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation
Hanjiang Hu
Jianglin Lan
Changliu Liu
277
6
0
20 Apr 2024
Mitigating the Curse of Dimensionality for Certified Robustness via Dual Randomized Smoothing
Song Xia
Yu Yi
Xudong Jiang
Henghui Ding
551
12
0
15 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition
Jie Wang
Jun Ai
Minyan Lu
Haoran Su
Dan Yu
Yutao Zhang
Junda Zhu
Jingyu Liu
AAML
308
4
0
12 Apr 2024
MMCert: Provable Defense against Adversarial Attacks to Multi-modal Models
Yanting Wang
Hongye Fu
Wei Zou
Jinyuan Jia
AAML
381
5
0
28 Mar 2024
Certified Human Trajectory Prediction
Mohammadhossein Bahari
Saeed Saadatnejad
Amirhossein Asgari-Farsangi
Seyed-Mohsen Moosavi-Dezfooli
Alexandre Alahi
AAML
387
2
0
20 Mar 2024
COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits
Mintong Kang
Nezihe Merve Gürel
Linyi Li
Yue Liu
274
10
0
17 Mar 2024
Improving deep learning with prior knowledge and cognitive models: A survey on enhancing explainability, adversarial robustness and zero-shot learning
Cognitive Systems Research (Cogn. Syst. Res.), 2023
F. Mumuni
A. Mumuni
AAML
297
18
0
11 Mar 2024
COMMIT: Certifying Robustness of Multi-Sensor Fusion Systems against Semantic Attacks
Zijian Huang
Wenda Chu
Linyi Li
Chejian Xu
Yue Liu
AAML
227
1
0
04 Mar 2024
Enhancing Robustness of Indoor Robotic Navigation with Free-Space Segmentation Models Against Adversarial Attacks
Qiyuan An
Christos Sevastopoulos
F. Makedon
194
1
0
13 Feb 2024
Uncertainty Quantification via Stable Distribution Propagation
Felix Petersen
Aashwin Mishra
Hilde Kuehne
Christian Borgelt
Oliver Deussen
Mikhail Yurochkin
UQCV
219
9
0
13 Feb 2024
Accelerated Smoothing: A Scalable Approach to Randomized Smoothing
Devansh Bhardwaj
Kshitiz Kaushik
Sarthak Gupta
AAML
337
0
0
12 Feb 2024
A Random Ensemble of Encrypted Vision Transformers for Adversarially Robust Defense
IEEE Access (IEEE Access), 2024
Ryota Iijima
Sayaka Shiota
Hitoshi Kiya
298
9
0
11 Feb 2024
PROSAC: Provably Safe Certification for Machine Learning Models under Adversarial Attacks
Ziquan Liu
Zhuo Zhi
Ilija Bogunovic
Carsten Gerner-Beuerle
Miguel R. D. Rodrigues
AAML
260
2
0
04 Feb 2024
Your Diffusion Model is Secretly a Certifiably Robust Classifier
Huanran Chen
Yinpeng Dong
Shitong Shao
Zhongkai Hao
Xiao Yang
Hang Su
Jun Zhu
DiffM
385
6
0
04 Feb 2024
Trustworthy Distributed AI Systems: Robustness, Privacy, and Governance
Wenqi Wei
Ling Liu
361
44
0
02 Feb 2024
Tropical Decision Boundaries for Neural Networks Are Robust Against Adversarial Attacks
Kurt Pasque
Christopher Teska
Ruriko Yoshida
Keiji Miura
Jefferson Huang
AAML
328
4
0
01 Feb 2024
Set-Based Training for Neural Network Verification
Lukas Koller
Tobias Ladner
Matthias Althoff
AAML
353
6
0
26 Jan 2024
Adversarial Examples are Misaligned in Diffusion Model Manifolds
IEEE International Joint Conference on Neural Network (IJCNN), 2024
P. Lorenz
Ricard Durall
Jansi Keuper
DiffM
465
1
0
12 Jan 2024
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
Justus Renkhoff
Ke-ke Feng
Marc Meier-Doernberg
Alvaro Velasquez
Houbing Herbert Song
327
16
0
06 Jan 2024
Towards Efficient Verification of Quantized Neural Networks
Pei Huang
Haoze Wu
Yuting Yang
Ieva Daukantas
Min Wu
Yedi Zhang
Clark W. Barrett
MQ
228
20
0
20 Dec 2023
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
Integration of AI and OR Techniques in Constraint Programming (CPAIOR), 2023
Mark Turner
Antonia Chmiela
Thorsten Koch
Michael Winkler
AI4CE
267
12
0
13 Dec 2023
Reward Certification for Policy Smoothed Reinforcement Learning
Ronghui Mu
Leandro Soriano Marcolino
Tianle Zhang
Yanghao Zhang
Xiaowei Huang
Wenjie Ruan
270
7
0
11 Dec 2023
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers
Daqian Shao
Lukas Fesser
Marta Z. Kwiatkowska
188
0
0
28 Nov 2023
1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness
Computer Vision and Pattern Recognition (CVPR), 2023
Bernd Prach
Fabio Brau
Giorgio Buttazzo
Christoph H. Lampert
228
12
0
28 Nov 2023
Previous
1
2
3
4
5
...
18
19
20
Next
Page 2 of 20
Page
of 20
Go
