For one week, members of the CAISAR team are giving a course at the European Summer School on Artificial Intelligence, titled Formal verification of symbolic and connectionist AI: a way toward higher quality software.
This page refers the material for the course.
The first session slides are available here. This introductory session provided an historically informed introduction of formal verification, and its concrete applications to machine learning.
The second session slides are available here. This session explores in depth the notion of local robustness and its centrality in the domain of formal verification of neural networks. Building intuition on abstract interpretation and SMT calculus, the session gives hints on how to actually solve this property.
Released 02-07-2025
Released 03-07-2025
Released 04-07-2025