-
LOGIC-IN
-
Teaching
-
Courses
Artificial Intelligence meets Formal Methods
verify neural networks using formal methods, (5) how to use automata in reinforcement learning, or (6) how to solve SAT problems using machine learning. The goal of the seminar is to understand how to combine …