no code implementations • 2 Jul 2019 • Ekaterina Komendantskaya, Rob Stewart, Kirsy Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus
We will discuss future directions for incorporating verification into AI degrees.