Course Websites

ECE 598 HZ - Adv Topics in Machine Learning

Last offered Fall 2024

Official Description

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.

Section Description

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.

Related Faculty

Adv Topics in Machine LearningHZ37038LEC41400 - 1520 T R  3015 Electrical & Computer Eng Bldg Huan Zhang