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)

Robustness guarantees for credal Bayesian networks via constraint relaxation over probabilistic circuits
‌: Wijk, H, և այլն
Հրապարակվել է: (2022)

Fast Training of Provably Robust Neural Networks by SingleProp
‌: Boopathy, Akhilan, և այլն
Հրապարակվել է: (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)

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)

Are deep ResNets provably better than linear predictors?
Հրապարակվել է: (2021)

Are deep ResNets provably better than linear predictors?
‌: Yun, Chulhee, և այլն
Հրապարակվել է: (2022)

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)