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)