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

Detaylı Bibliyografya
Asıl Yazarlar:	Kwiatkowska, M, Wu, M
Materyal Türü:	Conference item
Dil:	English
Baskı/Yayın Bilgisi:	IEEE 2020

Benzer Materyaller

Global robustness evaluation of deep neural networks with provable guarantees for the Hamming distance
Yazar:: Ruan, W, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Statistical guarantees for the robustness of Bayesian neural networks
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Robustness evaluation of deep neural networks with provable guarantees
Yazar:: Wu, M
Baskı/Yayın Bilgisi: (2020)

Safety verification for deep neural networks with provable guarantees
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2019)

Safety and robustness for deep learning with provable guarantees (keynote)
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2019)

Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2022)

Adversarial Robustness Guarantees for Random Deep Neural Networks
Yazar:: De Palma, Giacomo, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Reachability analysis of deep neural networks with provable guarantees
Yazar:: Ruan, W, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Safety and robustness for deep learning with provable guarantees (invited paper - keynote)
Yazar:: Kwiatkowska, M
Baskı/Yayın Bilgisi: (2020)

A game-based approximate verification of deep neural networks with provable guarantees
Yazar:: Wu, M, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Individual fairness guarantees for neural networks
Yazar:: Benussi, E, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Adversarial robustness guarantees for Gaussian processes
Yazar:: Patane, A, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Reduced-order neural network synthesis with robustness guarantees
Yazar:: Drummond, R, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Robustness guarantees for Bayesian inference with Gaussian processes
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2019)

Provable guarantees on the robustness of decision rules to causal interventions
Yazar:: Wang, B, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
Yazar:: Wijk, H, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Adversarial robustness guarantees for classification with Gaussian Processes
Yazar:: Blaas, A, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

On guaranteed optimal robust explanations for NLP models
Yazar:: La Malfa, E, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Improving corruption robustness of deep neural network in video classification
Yazar:: Gong, Zeyu
Baskı/Yayın Bilgisi: (2023)

Training-free neural active learning with initialization robustness guarantees
Yazar:: Singh, Jasraj
Baskı/Yayın Bilgisi: (2023)

Adversarial robustness certification for Bayesian neural networks
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Safety verification of deep neural networks
Yazar:: Huang, X, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Deep Convolutional Neural Network for Robust Detection of Object-Based Forgeries in Advanced Video
Yazar:: Ahmad A. Mazhar, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Probabilistic Guarantees in Robust Optimization
Yazar:: Bertsimas, Dimitris, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Enhancing adversarial robustness of deep neural networks
Yazar:: Zhang, Jeffrey,M. Eng.Massachusetts Institute of Technology.
Baskı/Yayın Bilgisi: (2019)

Concolic testing for deep neural networks
Yazar:: Sun, Y, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Theoretical guarantees for permutation-equivariant quantum neural networks
Yazar:: Louis Schatzki, ve diğerleri
Baskı/Yayın Bilgisi: (2024-01-01)

Understanding neural network sample complexity and interpretable convergence-guaranteed deep learning with polynomial regression
Yazar:: Emschwiller, Matt V.
Baskı/Yayın Bilgisi: (2020)

On Guaranteed Correction of Error Patterns with Artificial Neural Networks
Yazar:: S. Brkić, ve diğerleri
Baskı/Yayın Bilgisi: (2022-12-01)

Robustness of 3D deep learning in an adversarial setting
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

JAK/STAT guarantees robust neural stem cell differentiation by shutting off biological noise
Yazar:: Yoshitaro Tanaka, ve diğerleri
Baskı/Yayın Bilgisi: (2018-08-01)

Feature-guided black-box safety testing of deep neural networks
Yazar:: Wicker, M, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Video Prediction Using Multi-Scale Deep Neural Networks
Yazar:: N. Shayanfar, ve diğerleri
Baskı/Yayın Bilgisi: (2022-07-01)

Towards deep neural networks robust to adversarial examples
Yazar:: Matyasko, Alexander
Baskı/Yayın Bilgisi: (2020)

Neural Network Optimal Feedback Control With Guaranteed Local Stability
Yazar:: Tenavi Nakamura-Zimmerer, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Using Neural Networks to Price and Hedge Variable Annuity Guarantees
Yazar:: Daniel Doyle, ve diğerleri
Baskı/Yayın Bilgisi: (2018-12-01)

Towards Robust And Practical Neural Video-Conferencing
Yazar:: Sivaraman, Vibhaalakshmi
Baskı/Yayın Bilgisi: (2024)

Robust output feedback control with guaranteed constraint satisfaction
Yazar:: Sadraddini, Sadra, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Robust output feedback control with guaranteed constraint satisfaction
Yazar:: Sadraddini, Sadra, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Robust pose estimation which guarantees positive depths
Yazar:: Chun Li, ve diğerleri
Baskı/Yayın Bilgisi: (2023-12-01)