Keller Colloquium in Computing and Mathematical Sciences
Monday, April 16, 2018
4:00pm to 5:00pmAdd to Cal
Fighting Black Boxes, Adversaries, and Bugs in Deep Learning
Assistant Professor Percy Liang, Computer Science and Statistics (courtesy), Stanford University,
While deep learning has been hugely successful in producing highly accurate models, the resulting models are sometimes (i) difficult to interpret, (ii) susceptible to adversaries, and (iii) suffer from subtle implementation bugs due to their stochastic nature. In this talk, I will take some initial steps towards addressing these problems of interpretability, robustness, and correctness using some classic mathematical tools. First, influence functions from robust statistics can help us understand the predictions of deep networks by answering the question: which training examples are most influential on a particular prediction? Second, semidefinite relaxations can be used to provide guaranteed upper bounds on the amount of damage an adversary can do for restricted models. Third, we use the Lean proof assistant to produce a working implementation of stochastic computation graphs which is guaranteed to be bug-free.
For more information, please contact Carmen Nemer-Sirois by phone at (626) 395-4561 or by email at [email protected].