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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Kwiatkowska, M, Wu, M
Format:	Conference item
Sprog:	English
Udgivet:	IEEE 2020

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Probabilistic Guarantees in Robust Optimization
af: Bertsimas, Dimitris, et al.
Udgivet: (2022)

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

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

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

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

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

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

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

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

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

Towards deep neural networks robust to adversarial examples
af: Matyasko, Alexander
Udgivet: (2020)

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

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

Towards Robust And Practical Neural Video-Conferencing
af: Sivaraman, Vibhaalakshmi
Udgivet: (2024)

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

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

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