CS 598 GDS

Subject offerings of new and developing areas of knowledge in computer science 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.

For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister Logic and Artificial Intelligence Given the black-box nature of the state-of-the-art AI models and the lack of associated formal guarantees, there is a growing interest in using formal methods for AI-based systems to ensure their reliability and interpretability. This direction is a key component of the so-called ?Third wave of AI?. Similarly, there is a growing interest in leveraging data-driven machine learning for knowledge discovery and boosting logical inference. This course will introduce recent developments in both directions and outline several promising future research directions. Overall, the students will be exposed to the following topics: Training and querying with logic Verification of AI systems Robust training methods Machine learning for verification Programming by example Probabilistic circuits Symbolic explanations of neural networks