CS 580B1 - Trustworthy Machine Learning

Tools and techniques for addressing the brittleness, unfairness, and opacity of deep neural networks; analyzing the behavior of learning-enabled systems to evaluate their safety using formal methods.
Senior standing. Must register for lecture and laboratory.