Formal verification of symbolic and connectionist AI: a way toward higher quality software

Zakaria Chihani, Dorin Doncenco, Julien Girard-Satabin

Jun 30, 2025

This page hosts the material for the ESSAI 2025 course Formal verification of symbolic and connectionist AI: a way toward higher quality software.

Session 1

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.

Session 2

Soon

Session 3

Soon

Session 4

Soon

Session 5

Soon