Skip to main content
Skip to main menu


Guest Lecture: Dr. Arthur Choi - Using Symbolic Artificial Intelligence to Explain Statistical Machine Learning

Arthur Choi
Department of Computer Science
University of California at Los Angeles
VIrtual Event

Arthur Choi is a research scientist in the Computer Science Department at the University of California at Los Angeles (UCLA). He obtained his Ph.D. from UCLA in 2010. His research interests are in logical and probabilistic approaches to reasoning, machine learning, tractable knowledge representations, and most recently in explainable artificial intelligence (XAI). He has led medal-winning teams in international probabilistic inference competitions. He has served as an SPC/PC member at conferences such as IJCAI, AAAI, UAI, NeurIPS, and ICML.

In this talk, Dr. Choi will propose a symbolic approach to explaining the behavior and verifying the properties of machine learning models, which are based on sustained advances in logical and probabilistic reasoning. He will show how his approach facilitates the analysis of a neural network, helping us to understand its behavior, and in turn, providing directions towards learning better and more robust models.

Please use the following link to join the lecture:

Support us

We appreciate your financial support. Your gift is important to us and helps support critical opportunities for students and faculty alike, including lectures, travel support, and any number of educational events that augment the classroom experience. Click here to learn more about giving.

Every dollar given has a direct impact upon our students and faculty.