Second FAIR Workshop on Human-Centered AI
Program
Talks
Speakers
Location
Fondazione FAIR
Second FAIR Workshop on Human-Centered AI
WP 6
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover
Cinzia Bernardeschi
on
11, 10:30
!
Live
in
Aula Magna
for
10min
Overview
Program
×
Live Stream
×