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.
Prerequisite
CS 345
Instructors
