Logo: University of Southern California

Events Calendar


  • CAIS Seminar: Dr. Adnan Darwiche (UCLA) - Explaining and Verifying AI Systems

    Wed, Nov 07, 2018 @ 04:00 PM - 05:00 PM

    Thomas Lord Department of Computer Science

    Conferences, Lectures, & Seminars


    Speaker: Dr. Adnan Darwiche, UCLA

    Talk Title: Explaining and Verifying AI Systems

    Series: USC Center for Artificial Intelligence in Society (CAIS) Seminar Series

    Abstract: Explaining the decisions of AI systems and formally verifying their properties have come into focus recently. In this talk, Dr. Darwiche will discuss an approach for explaining and verifying Bayesian network classifiers, which is based on compiling them into equivalent and symbolic decision graphs. He will also discuss a new class of circuits that are as expressive as neural networks and that can be synthesized from Bayesian network models, allowing one to provide formal guarantees on their behaviors regardless of how they are trained from data.

    This lecture satisfies requirements for CSCI 591: Research Colloquium


    Biography: Dr. Adnan Darwiche is a professor and chairman of the computer science department at UCLA. He directs the automated reasoning group which focuses on probabilistic and logical reasoning, and their applications including to machine learning (http://reasoning.cs.ucla.edu/.


    Host: Milind Tambe

    Location: Mark Taper Hall Of Humanities (THH) - 301

    Audiences: Everyone Is Invited

    Contact: Computer Science Department

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File

Return to Calendar