Safety and robustness for deep learning with provable guarantees (keynote)

Safety and robustness for deep learning with provable guarantees (keynote)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kwiatkowska, M
Μορφή:	Conference item
Έκδοση:	Association for Computing Machinery 2019

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

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

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

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

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

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

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

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

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

Robustness guarantees for deep neural networks on videos
ανά: Kwiatkowska, M, κ.ά.
Έκδοση: (2020)

Practical data-dependent metric compression with provable guarantees
ανά: Indyk, Piotr, κ.ά.
Έκδοση: (2019)

Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees
ανά: Liebenwein, Lucas, κ.ά.
Έκδοση: (2018)

Learning provably robust policies in uncertain parametric environments
ανά: Schnitzer, Y, κ.ά.
Έκδοση: (2025)

Practical Methods for Scalable Bayesian and Causal Inference with Provable Quality Guarantees
ανά: Agrawal, Raj
Έκδοση: (2022)

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

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

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

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

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

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

Safety guarantees for iterative predictions with Gaussian Processes
ανά: Polymenakos, K, κ.ά.
Έκδοση: (2021)

Provable preimage under-approximation for neural networks
ανά: Zhang, X, κ.ά.
Έκδοση: (2024)

Keynote speech
ανά: Dobson, F
Έκδοση: (1998)

Keynote talk.
ανά: Granger, R
Έκδοση: (2006)

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

Fast Training of Provably Robust Neural Networks by SingleProp
ανά: Boopathy, Akhilan, κ.ά.
Έκδοση: (2022)

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

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

Toward trustworthy decision-making for autonomous vehicles: a robust reinforcement learning approach with safety guarantees
ανά: He, Xiangkun, κ.ά.
Έκδοση: (2024)

Are deep ResNets provably better than linear predictors?
Έκδοση: (2021)

Are deep ResNets provably better than linear predictors?
ανά: Yun, Chulhee, κ.ά.
Έκδοση: (2022)

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

Robust optimization for adversarial learning with finite sample complexity guarantees
ανά: Bertolace, A, κ.ά.
Έκδοση: (2024)

Provably Correct Systems
ανά: He, J, κ.ά.
Έκδοση: (1994)

Provably efficient learning with typed parametric models
ανά: Brunskill, Emma, κ.ά.
Έκδοση: (2010)

Review: Logics of provability
ανά: Williamson, T
Έκδοση: (1996)

Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees
ανά: Shao, D, κ.ά.
Έκδοση: (2023)

From matrix factorisation to signal propagation in deep learning: algorithms and guarantees
ανά: Murray, M
Έκδοση: (2021)

Keynotes Pengerusi Lembaga Pengarah UTM
ανά: Ali, Abdul Halim
Έκδοση: (2003)

Keynote: A Vision for the Science of Computing
ανά: Hoare, T
Έκδοση: (2008)

Software Engineering: A Keynote Address
ανά: Hoare, C
Έκδοση: (1978)