Med støtte fra @carlsbergfondet.dk er ITU-lektor @alessandro-bruni.bsky.social lige nu i Japan for, sammen med intl. kolleger, at udforske det matematiske fundament for verificering af maskinlæringssystemer.

Projektet skal bidrage til at gøre AI-systemer mere robuste 💪

➡️ itu.dk/Om-ITU/Press...