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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Kwiatkowska, M, Wu, M
Μορφή:	Conference item
Γλώσσα:	English
Έκδοση:	IEEE 2020

Παρόμοια τεκμήρια

Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
ανά: Ruan, W, κ.ά.
Έκδοση: (2019)

Statistical guarantees for the robustness of Bayesian neural networks
ανά: Cardelli, L, κ.ά.
Έκδοση: (2019)

Robustness evaluation of deep neural networks with provable guarantees
ανά: Wu, M
Έκδοση: (2020)

Safety verification for deep neural networks with provable guarantees
ανά: Kwiatkowska, M
Έκδοση: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
ανά: Kwiatkowska, M
Έκδοση: (2019)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
ανά: Kwiatkowska, M
Έκδοση: (2022)

Adversarial Robustness Guarantees for Random Deep Neural Networks
ανά: De Palma, Giacomo, κ.ά.
Έκδοση: (2022)

Reachability analysis of deep neural networks with provable guarantees
ανά: Ruan, W, κ.ά.
Έκδοση: (2018)

Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
ανά: Kwiatkowska, M
Έκδοση: (2020)

A game-based approximate verification of deep neural networks with provable guarantees
ανά: Wu, M, κ.ά.
Έκδοση: (2019)

Individual fairness guarantees for neural networks
ανά: Benussi, E, κ.ά.
Έκδοση: (2022)

Adversarial robustness guarantees for Gaussian processes
ανά: Patane, A, κ.ά.
Έκδοση: (2022)

Reduced-order neural network synthesis with robustness guarantees
ανά: Drummond, R, κ.ά.
Έκδοση: (2022)

Robustness guarantees for Bayesian inference with Gaussian processes
ανά: Cardelli, L, κ.ά.
Έκδοση: (2019)

Provable guarantees on the robustness of decision rules to causal interventions
ανά: Wang, B, κ.ά.
Έκδοση: (2021)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
ανά: Wijk, H, κ.ά.
Έκδοση: (2022)

Adversarial robustness guarantees for classification with Gaussian Processes
ανά: Blaas, A, κ.ά.
Έκδοση: (2020)

On guaranteed optimal robust explanations for NLP models
ανά: La Malfa, E, κ.ά.
Έκδοση: (2021)

Improving corruption robustness of deep neural network in video classification
ανά: Gong, Zeyu
Έκδοση: (2023)

Training-free neural active learning with initialization robustness guarantees
ανά: Singh, Jasraj
Έκδοση: (2023)

Adversarial robustness certification for Bayesian neural networks
ανά: Wicker, M, κ.ά.
Έκδοση: (2024)

Safety verification of deep neural networks
ανά: Huang, X, κ.ά.
Έκδοση: (2017)

Deep Convolutional Neural Network for Robust Detection of Object-Based Forgeries in Advanced Video
ανά: Ahmad A. Mazhar, κ.ά.
Έκδοση: (2024-01-01)

Probabilistic Guarantees in Robust Optimization
ανά: Bertsimas, Dimitris, κ.ά.
Έκδοση: (2022)

Enhancing adversarial robustness of deep neural networks
ανά: Zhang, Jeffrey,M. Eng.Massachusetts Institute of Technology.
Έκδοση: (2019)

Concolic testing for deep neural networks
ανά: Sun, Y, κ.ά.
Έκδοση: (2018)

Theoretical guarantees for permutation-equivariant quantum neural networks
ανά: Louis Schatzki, κ.ά.
Έκδοση: (2024-01-01)

Understanding neural network sample complexity and interpretable convergence-guaranteed deep learning with polynomial regression
ανά: Emschwiller, Matt V.
Έκδοση: (2020)

On Guaranteed Correction of Error Patterns with Artificial Neural Networks
ανά: S. Brkić, κ.ά.
Έκδοση: (2022-12-01)

Robustness of 3D deep learning in an adversarial setting
ανά: Wicker, M, κ.ά.
Έκδοση: (2020)

JAK/STAT guarantees robust neural stem cell differentiation by shutting off biological noise
ανά: Yoshitaro Tanaka, κ.ά.
Έκδοση: (2018-08-01)

Feature-guided black-box safety testing of deep neural networks
ανά: Wicker, M, κ.ά.
Έκδοση: (2018)

Video Prediction Using Multi-Scale Deep Neural Networks
ανά: N. Shayanfar, κ.ά.
Έκδοση: (2022-07-01)

Towards deep neural networks robust to adversarial examples
ανά: Matyasko, Alexander
Έκδοση: (2020)

Neural Network Optimal Feedback Control With Guaranteed Local Stability
ανά: Tenavi Nakamura-Zimmerer, κ.ά.
Έκδοση: (2022-01-01)

Using Neural Networks to Price and Hedge Variable Annuity Guarantees
ανά: Daniel Doyle, κ.ά.
Έκδοση: (2018-12-01)

Towards Robust And Practical Neural Video-Conferencing
ανά: Sivaraman, Vibhaalakshmi
Έκδοση: (2024)

Robust output feedback control with guaranteed constraint satisfaction
ανά: Sadraddini, Sadra, κ.ά.
Έκδοση: (2022)

Robust output feedback control with guaranteed constraint satisfaction
ανά: Sadraddini, Sadra, κ.ά.
Έκδοση: (2021)

Robust pose estimation which guarantees positive depths
ανά: Chun Li, κ.ά.
Έκδοση: (2023-12-01)