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

Описание: Marta Kwiatkowska – Safety and robustness for deep learning with provable guarantees

Keynote Lecture at the ML in PL Conference 2021 (https://conference2021.mlinpl.org/)

ML in PL Association (https://mlinpl.org) is a non-profit organization devoted to fostering the machine learning community in Poland and promoting a deep understanding of ML methods. Even though ML in PL is based in Poland, it seeks to provide opportunities for international cooperation.

Computing systems are becoming ever more complex, with decisions increasingly often based on deep learning components. A wide variety of applications are being developed, many of them safety-critical, such as self-driving cars and medical diagnosis. Since deep learning is unstable with respect to adversarial perturbations, there is a need for rigorous software development methodologies that encompass machine learning components. Using illustrative examples from autonomous driving and NLP, this lecture will describe progress with developing safety verification techniques for deep neural networks to ensure robustness of their decisions with respect to input perturbations and causal interventions, with provable guarantees. The lecture will conclude with an overview of the challenges in this field.