Robustness guarantees for deep neural networks on videos

Robustness guarantees for deep neural networks on videos

The widespread adoption of deep learning models places demands on their robustness. In this paper, we consider the robustness of deep neural networks on videos, which comprise both the spatial features of individual frames extracted by a convolutional neural network and the temporal dynamics between...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Kwiatkowska, M, Wu, M
Formatua:	Conference item
Hizkuntza:	English
Argitaratua:	IEEE 2020

Antzeko izenburuak

Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
nork: Ruan, W, et al.
Argitaratua: (2019)

Statistical guarantees for the robustness of Bayesian neural networks
nork: Cardelli, L, et al.
Argitaratua: (2019)

Robustness evaluation of deep neural networks with provable guarantees
nork: Wu, M
Argitaratua: (2020)

Safety verification for deep neural networks with provable guarantees
nork: Kwiatkowska, M
Argitaratua: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
nork: Kwiatkowska, M
Argitaratua: (2019)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
nork: Kwiatkowska, M
Argitaratua: (2022)

Adversarial Robustness Guarantees for Random Deep Neural Networks
nork: De Palma, Giacomo, et al.
Argitaratua: (2022)

Reachability analysis of deep neural networks with provable guarantees
nork: Ruan, W, et al.
Argitaratua: (2018)

Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
nork: Kwiatkowska, M
Argitaratua: (2020)

A game-based approximate verification of deep neural networks with provable guarantees
nork: Wu, M, et al.
Argitaratua: (2019)

Individual fairness guarantees for neural networks
nork: Benussi, E, et al.
Argitaratua: (2022)

Adversarial robustness guarantees for Gaussian processes
nork: Patane, A, et al.
Argitaratua: (2022)

Reduced-order neural network synthesis with robustness guarantees
nork: Drummond, R, et al.
Argitaratua: (2022)

Robustness guarantees for Bayesian inference with Gaussian processes
nork: Cardelli, L, et al.
Argitaratua: (2019)

Provable guarantees on the robustness of decision rules to causal interventions
nork: Wang, B, et al.
Argitaratua: (2021)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
nork: Wijk, H, et al.
Argitaratua: (2022)

Adversarial robustness guarantees for classification with Gaussian Processes
nork: Blaas, A, et al.
Argitaratua: (2020)

On guaranteed optimal robust explanations for NLP models
nork: La Malfa, E, et al.
Argitaratua: (2021)

Improving corruption robustness of deep neural network in video classification
nork: Gong, Zeyu
Argitaratua: (2023)

Training-free neural active learning with initialization robustness guarantees
nork: Singh, Jasraj
Argitaratua: (2023)

Adversarial robustness certification for Bayesian neural networks
nork: Wicker, M, et al.
Argitaratua: (2024)

Safety verification of deep neural networks
nork: Huang, X, et al.
Argitaratua: (2017)

Deep Convolutional Neural Network for Robust Detection of Object-Based Forgeries in Advanced Video
nork: Ahmad A. Mazhar, et al.
Argitaratua: (2024-01-01)

Probabilistic Guarantees in Robust Optimization
nork: Bertsimas, Dimitris, et al.
Argitaratua: (2022)

Enhancing adversarial robustness of deep neural networks
nork: Zhang, Jeffrey,M. Eng.Massachusetts Institute of Technology.
Argitaratua: (2019)

Concolic testing for deep neural networks
nork: Sun, Y, et al.
Argitaratua: (2018)

Theoretical guarantees for permutation-equivariant quantum neural networks
nork: Louis Schatzki, et al.
Argitaratua: (2024-01-01)

Understanding neural network sample complexity and interpretable convergence-guaranteed deep learning with polynomial regression
nork: Emschwiller, Matt V.
Argitaratua: (2020)

On Guaranteed Correction of Error Patterns with Artificial Neural Networks
nork: S. Brkić, et al.
Argitaratua: (2022-12-01)

Robustness of 3D deep learning in an adversarial setting
nork: Wicker, M, et al.
Argitaratua: (2020)

JAK/STAT guarantees robust neural stem cell differentiation by shutting off biological noise
nork: Yoshitaro Tanaka, et al.
Argitaratua: (2018-08-01)

Feature-guided black-box safety testing of deep neural networks
nork: Wicker, M, et al.
Argitaratua: (2018)

Video Prediction Using Multi-Scale Deep Neural Networks
nork: N. Shayanfar, et al.
Argitaratua: (2022-07-01)

Towards deep neural networks robust to adversarial examples
nork: Matyasko, Alexander
Argitaratua: (2020)

Neural Network Optimal Feedback Control With Guaranteed Local Stability
nork: Tenavi Nakamura-Zimmerer, et al.
Argitaratua: (2022-01-01)

Using Neural Networks to Price and Hedge Variable Annuity Guarantees
nork: Daniel Doyle, et al.
Argitaratua: (2018-12-01)

Towards Robust And Practical Neural Video-Conferencing
nork: Sivaraman, Vibhaalakshmi
Argitaratua: (2024)

Robust output feedback control with guaranteed constraint satisfaction
nork: Sadraddini, Sadra, et al.
Argitaratua: (2022)

Robust output feedback control with guaranteed constraint satisfaction
nork: Sadraddini, Sadra, et al.
Argitaratua: (2021)

Robust pose estimation which guarantees positive depths
nork: Chun Li, et al.
Argitaratua: (2023-12-01)