Course Websites

Subject offerings of new and developing areas of knowledge in electrical and computer engineering intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: May be repeated in the same or separate terms if topics vary.

This course will explore advanced research topics at the intersection of machine learning and formal verification methods. It will discuss the verification problems that arise in machine learning applications, such as rigorously proving their robustness, safety, fairness, and correctness. The course will discuss state-of-the-art formal verification techniques that are applicable to practical machine learning models, such as deep neural networks and tree ensembles, and also how to train machine learning models that follow formal specifications. In addition, it will discuss the novel use of machine learning (including foundation models and large language models) in the field of formal methods and math.