Giuseppe Primiero will give a talk titled “The role of verification in Trustworthy AI” at the 19th Annual Conference of the Italian Association of Cognitive Sciences (AISC2023). The conference will take place at the University of Genoa, Italy the 14–16 December 2023. The talk will be on the 15th of December 2023, 14.45-15.05.
Abstract of the talk
While a variety of tools are being developed to make ML systems more transparent, logical methods are coming back to play an increasingly important role: by their nature, they may help building and verifying transparent models of computations. A major aim is therefore to develop formal methods that will help the verification of these systems’ trustworthiness and fairness. In this lecture, I will present some recent work in this direction. I will overview the methodology and sketch some principles of the logics developed within the BRIO (Bias, Risk and Opacity in AI) Project (sites.unimi.it/brio) to reason within and about programs with probabilistic outputs obtained under possibly opaque distributions. Under this approach trustworthiness can be formally verified as an admissible distance from the behavior of a fair and transparent counterpart.