Confidence-Calibrated Adversarial Training and Bit Error Robustness of DNNs, David Stutz
Lorentz Center Robust AI Workshop
Confidence-Calibrated Adversarial Training and Bit Error Robustness of DNNs, David Stutz
16:26
Why is ML security so hard?, Kathrin Grosse
Lorentz Center Robust AI Workshop
Why is ML security so hard?, Kathrin Grosse
16:35
Trustworthy AI, Wing Jeannette
Lorentz Center Robust AI Workshop
Trustworthy AI, Wing Jeannette
22:48
Assurance of Machine Learning for use in Autonomous Systems (AMLAS), Chiara Picardi
Lorentz Center Robust AI Workshop
Assurance of Machine Learning for use in Autonomous Systems (AMLAS), Chiara Picardi
14:25
Holistic Adversarial Robustness, Pin Yu Chen
Lorentz Center Robust AI Workshop
Holistic Adversarial Robustness, Pin Yu Chen
27:50
End-to-end robustness for sensing-reasoning pipeline in adversarial environment, Bo Li
Lorentz Center Robust AI Workshop
End-to-end robustness for sensing-reasoning pipeline in adversarial environment, Bo Li
24:28
Formal Methods at Stanford's Center for AI Safety, Aleksandar Zeljic
Lorentz Center Robust AI Workshop
Formal Methods at Stanford's Center for AI Safety, Aleksandar Zeljic
15:34
Towards Dependable and Robust Planning: Learning and Verification, Nils Jansen
Lorentz Center Robust AI Workshop
Towards Dependable and Robust Planning: Learning and Verification, Nils Jansen
20:54
1.2 Kick-off of the workshop
Lorentz Center Robust AI Workshop
1.2 Kick-off of the workshop
13:52
1.1 Presentation of the Lorentz Center for workshop
Lorentz Center Robust AI Workshop
1.1 Presentation of the Lorentz Center for workshop
9:23
1.3 Robust AI in aeronautics and aerospace context (Romaric Redon)
Lorentz Center Robust AI Workshop
1.3 Robust AI in aeronautics and aerospace context (Romaric Redon)
29:20
2.3 Software Demonstration: Adversarial Robustness Toolbox (ART)
Lorentz Center Robust AI Workshop
2.3 Software Demonstration: Adversarial Robustness Toolbox (ART)
46:48
3.4 Software Demonstration: Auto_LiRPA
Lorentz Center Robust AI Workshop
3.4 Software Demonstration: Auto_LiRPA
43:53
3.5 Software Demonstration: Marabou
Lorentz Center Robust AI Workshop
3.5 Software Demonstration: Marabou
41:32
1.4 The challenges of certifying AI solutions in aviation
Lorentz Center Robust AI Workshop
1.4 The challenges of certifying AI solutions in aviation
33:01
1.5 Legal Protection by Design, Mireille Hildebrandt
Lorentz Center Robust AI Workshop
1.5 Legal Protection by Design, Mireille Hildebrandt
40:41
1.6 Best of panel discussion on industrial applications and societal challenges for robust AI
Lorentz Center Robust AI Workshop
1.6 Best of panel discussion on industrial applications and societal challenges for robust AI
34:11
2.1 Q&A session on empirical methods (day 2)
Lorentz Center Robust AI Workshop
2.1 Q&A session on empirical methods (day 2)
42:52
2.2 Best of panel discussions on empirical methods
Lorentz Center Robust AI Workshop
2.2 Best of panel discussions on empirical methods
1:08:09
3.1 Q&A session on formal methods (day 3)
Lorentz Center Robust AI Workshop
3.1 Q&A session on formal methods (day 3)
48:19
3.2 Best of panel discussion on formal methods (1/2)
Lorentz Center Robust AI Workshop
3.2 Best of panel discussion on formal methods (1/2)
19:10
3.3 Best of panel discussion on formal methods (2/2)
Lorentz Center Robust AI Workshop
3.3 Best of panel discussion on formal methods (2/2)
35:23