Logo: University of Southern California

Events Calendar

  • CS Colloquium: Matthew Mirman (ETH Zürich) - Trustworthy Deep Learning: methods, systems and theory

    Thu, Mar 17, 2022 @ 11:00 AM - 12:00 PM

    Thomas Lord Department of Computer Science

    Conferences, Lectures, & Seminars

    Speaker: Matthew Mirman , ETH Zürich

    Talk Title: Trustworthy Deep Learning: methods, systems and theory

    Series: CS Colloquium

    Abstract: Deep learning models are quickly becoming an integral part of a plethora of high stakes applications, including autonomous driving and health care. As the discovery of vulnerabilities and flaws in these models has become frequent, so has the interest in ensuring their safety, robustness and reliability. My research addresses this need by introducing new core methods and systems that can establish desirable mathematical guarantees of deep learning models.

    In the first part of my talk I will describe how we leverage abstract interpretation to scale verification to orders of magnitude larger deep neural networks than prior work, at the same time demonstrating the correctness of significantly more properties. I will then show how these techniques can be extended to ensure, for the first time, formal guarantees of probabilistic semantic specifications using generative models.

    In the second part, I will show how to fuse abstract interpretation with the training phase so as to improve a model's amenability to certification, allowing us to guarantee orders of magnitude more properties than possible with prior work. Finally, I will discuss exciting theoretical advances which address fundamental questions on the very existence of certified deep learning.

    This lecture satisfies requirements for CSCI 591: Research Colloquium

    Biography: Matthew Mirman is a final-year PhD student at ETH Zürich, supervised by Martin Vechev. His main research interests sit at the intersection of programming languages, machine learning, and theory with applications to creating safe and reliable artificial intelligence systems. Prior to ETH, he completed his B.Sc. and M.Sc. at Carnegie-Mellon University supervised by Frank Pfenning.

    Host: Mukund Raghothaman

    Location: 115

    Audiences: By invitation only.

    Contact: Assistant to CS chair


Return to Calendar