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

Thursday, November 24, 2022, 11:30am or Friday, November 25, 2022, 10:00am


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

Speaker: 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.