Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2004.14756
Cited By
Robustness Certification of Generative Models
30 April 2020
M. Mirman
Timon Gehr
Martin Vechev
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Robustness Certification of Generative Models"
16 / 16 papers shown
Specification Generation for Neural Networks in Systems
Isha Chaudhary
Shuyi Lin
Cheng Tan
Gagandeep Singh
385
0
0
04 Dec 2024
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
AAAI Conference on Artificial Intelligence (AAAI), 2024
Benedikt Brückner
Alessio Lomuscio
AAML
390
3
0
07 Nov 2024
VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid
Daniel Neider
Mustafa Yalçıner
580
1
0
20 Jun 2024
Learning from Uncertain Data: From Possible Worlds to Possible Models
Jiongli Zhu
Su Feng
Boris Glavic
Babak Salimi
386
3
0
28 May 2024
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
International Conference on Computer Aided Verification (CAV), 2024
Haoze Wu
Omri Isac
Aleksandar Zeljić
Teruhiro Tagomori
M. Daggitt
...
Min Wu
Min Zhang
Ekaterina Komendantskaya
Guy Katz
Clark W. Barrett
409
89
0
25 Jan 2024
Mathematical Algorithm Design for Deep Learning under Societal and Judicial Constraints: The Algorithmic Transparency Requirement
Holger Boche
Adalbert Fono
Gitta Kutyniok
FaML
437
8
0
18 Jan 2024
Precise and Generalized Robustness Certification for Neural Networks
USENIX Security Symposium (USENIX Security), 2023
Yuanyuan Yuan
Shuai Wang
Z. Su
AAML
236
5
0
11 Jun 2023
From Robustness to Explainability and Back Again
Xuanxiang Huang
Sasha Rubin
348
14
0
05 Jun 2023
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations
Asia-Pacific Software Engineering Conference (APSEC), 2022
S. Munakata
Caterina Urban
Haruki Yokoyama
Koji Yamamoto
Kazuki Munakata
AAML
142
6
0
13 Jul 2022
Latent Space Smoothing for Individually Fair Representations
European Conference on Computer Vision (ECCV), 2021
Momchil Peychev
Anian Ruoss
Mislav Balunović
Maximilian Baader
Martin Vechev
FaML
365
27
0
26 Nov 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs
NASA Formal Methods (NFM), 2021
Christopher A. Strong
Sydney M. Katz
Anthony Corso
Mykel J. Kochenderfer
280
2
0
09 Jun 2021
Verification of Image-based Neural Network Controllers Using Generative Models
Symposium on Dependable Autonomic and Secure Computing (DASC), 2021
Sydney M. Katz
Anthony Corso
Christopher A. Strong
Mykel J. Kochenderfer
GAN
279
53
0
14 May 2021
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Neural Information Processing Systems (NeurIPS), 2021
Leonard Berrada
Sumanth Dathathri
Krishnamurthy Dvijotham
Robert Stanforth
Rudy Bunel
J. Uesato
Sven Gowal
M. P. Kumar
AAML
OOD
353
21
0
18 Feb 2021
SoK: Certified Robustness for Deep Neural Networks
IEEE Symposium on Security and Privacy (IEEE S&P), 2020
Linyi Li
Tao Xie
Yue Liu
AAML
877
151
0
09 Sep 2020
Scaling Polyhedral Neural Network Verification on GPUs
Christoph Müller
F. Serre
Gagandeep Singh
Markus Püschel
Martin Vechev
AAML
344
65
0
20 Jul 2020
Metrics and methods for robustness evaluation of neural networks with generative models
Machine-mediated learning (ML), 2020
Igor Buzhinsky
Arseny Nerinovsky
S. Tripakis
AAML
396
30
0
04 Mar 2020
1
Page 1 of 1
