ASPHD_CSC Archives

PhD Student


Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Tammie T Dudley <[log in to unmask]>
Wed, 29 Apr 2020 15:08:25 +0000
text/plain (3222 bytes) , text/html (12 kB) , Jobtalk by Arthur Choi - Flyer.docx (22 kB)

Research Colloquium


  Dr. Arthur Choi

   Using Symbolic Artificial Intelligence to Explain Statistical Machine Learning

     Recent and rapid advances in Artificial Intelligence (AI), particularly in the form of deep neural networks, has opened many new possibilities, but it has also brought with it many new challenges. In particular, it has become increasingly apparent that while deep neural networks are highly performant, they can also be opaque and brittle.  We do not have enough understanding of why and when they work well, and why they may fail completely when faced with new situations not seen in the training data.  In this talk, we propose a symbolic approach to explaining the behavior and verifying the properties of machine learning models, which is based on sustained advances in logical and probabilistic reasoning.  We show how our 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.

   Arthur Choi is a research scientist in the Computer Science Department at UCLA.  He obtained his PhD 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.

How to participate this via Webex :
Time: 1:00 PM - 2:20 PM Thursday, Apr 30 2020 (UTC-04:00) Eastern Time (US & Canada)
Top of Form
Meeting link:
Meeting number: 474 407 402
Password: xrR87NCk5fq
More ways to join
Join by video system
Dial [log in to unmask]
You can also dial and enter your meeting number.
Join by phone
+1-415-655-0002 US Toll
+1-415-655-0002 US Toll
Access code: 474 407 402

From: Xiaojun Cao <[log in to unmask]>
Sent: Wednesday, April 29, 2020 11:04 AM
To: Tammie T Dudley <[log in to unmask]>; Yingshu Li <[log in to unmask]>
Subject: RE: NextGen-AI research presentation by Dr. Arthur Choi (Apr.30, 1-2:20pm)


This is the job talk from another CS candidate tomorrow.
Please share it with the students.
Thanks a lot!

From: Xiaojun Cao
Sent: Monday, April 27, 2020 2:55 PM
To: Tammie T Dudley <[log in to unmask]<mailto:[log in to unmask]>>; Yingshu Li <[log in to unmask]<mailto:[log in to unmask]>>
Subject: NextGen-AI research presentation by Dr. Razvan Bunescu (April 28, 11-12:30am)


This is the information of tomorrow's talk.
Please share it with the graduate students.
Thanks a lot!


Xiaojun (Matt)  Cao   Ph.D.
Department of Computer Science
Georgia State University
Tel: (404) 413-5732, Fax: (404) 413-5717