Provable Robustness Beyond Bound Propagation

preview_player
Показать описание
Zico Kolter (Carnegie Mellon University)
Frontiers of Deep Learning
  1. Simons Institute
  2. Frontiers of Deep Learning
  3. Simons Institute
  4. Theory of Computing
  5. Theory of Computation
  6. Theoretical Computer Science
Рекомендации по теме
Provable Robustness Beyond 0:47:56

Provable Robustness Beyond Bound Propagation

Beyond 'provable' robustness: 0:39:57

Beyond 'provable' robustness: new directions in adversarial robustness

Neural Networks with 1:08:11

Neural Networks with Provable Robustness Guarantees

CVPR 2021 Towards 0:04:55

CVPR 2021 Towards Evaluating and Training Verifiably Robust Neural Networks

SecML18: Sven Gowal 0:13:39

SecML18: Sven Gowal on Interval Bound Propagation for Training Verifiably Robust Models

[EEML'24] Martin Vechev 1:13:38

[EEML'24] Martin Vechev - (Provable) Robustness of Neural Networks

auto_LiRPA: An Automatic 0:20:45

auto_LiRPA: An Automatic Library for Neural Network Verification and Scalable Certified Defense

SoK: Certified Robustness 0:14:56

SoK: Certified Robustness for Deep Neural Networks

Robustness of AI 0:02:05

Robustness of AI Systems Against Adversarial Attacks (RAISA3) Workshop – June 8, 2020

Safety and robustness 1:02:07

Safety and robustness for deep learning with provable guarantees - Marta Kwiatkowska - Oxford

USENIX Security '19 0:48:15

USENIX Security '19 - Lessons Learned from Evaluating the Robustness of Defenses to

Evaluating Robustness of 1:14:14

Evaluating Robustness of Neural Networks [Virtual]

Marta Kwiatkowska – 0:57:39

Marta Kwiatkowska – Safety and robustness for deep learning with provable guarantees

Towards Verification of 0:41:34

Towards Verification of General Neural Networks: A Dual Approach

Model Error Propagation 0:13:34

Model Error Propagation via Learned Contraction Metrics for Safe Fdbk. Motion Plan. of Unknown Sys.

Lecture 10-Deep Learning 1:12:37

Lecture 10-Deep Learning Foundations by Soheil Feizi:Provable & Generalizable Adversarial Robust...

[Warwick - CS331] 0:24:01

[Warwick - CS331] Lecture 14 Forward Propagation

Certifiable Robustness to 0:28:44

Certifiable Robustness to adversarial Attacks; What is the Point? | Nick Frosst

Lessons Learned from 0:46:06

Lessons Learned from Evaluating the Robustness of Defenses to Adversarial Examples

RSS 2021, Spotlight 0:05:10

RSS 2021, Spotlight Talk 02: Robust Value Iteration for Continuous Control Tasks

Breaking Certified Defenses, 0:05:02

Breaking Certified Defenses, ICLR 2020

WFVML 2022 Invited 0:24:48

WFVML 2022 Invited Talk: Efficient Neural Network Verification using Branch and Bound (Suman Jana)

2009.04131 - SoK: 0:21:43

2009.04131 - SoK: Certified Robustness for Deep Neural Networks

MIA: Cem Anil 1:48:52

MIA: Cem Anil and James Lucas on provable adversarial robustness; Primer, Roger Grosse