Gastvortrag: Paolo Morettin: Probabilistic formal verification of AI systems with Weighted Model Integration

Donnerstag, 24.11.2022, 11.30 Uhr oder Freitag, 25.11.2022, 10.00 Uhr

Ort: RWTH Aachen University, Department of Computer Science, Ahornstr. 55, building E2 (no. 2356), ground floor, room: B-IT 5053.2.

Vortragender: Paolo Morettin



Weighted Model Integration (WMI) is a recent formalism that generalizes Weighted Model Counting to hybrid logical/algebraic theories, encoded in SMT-(L)RA formulas. Analogously to its discrete counterpart, probabilistic reasoning over arbitrary logical/algebraic constraints can be reduced to WMI computations. While research on WMI until now has focused on algorithmic and theoretical aspects, its applications to the verification of AI systems is a promising research venue. In this talk, I will introduce the formalism, give an overview of the current state-of-the-art approaches and motivate its use in PFV scenarios.