Tweeted By @Miles_Brundage

Looks like a great overview of the area: "Algorithms for Verifying Deep Neural Networks," Liu et al.: https://t.co/xjCb0ZBuUG

— Miles Brundage (@Miles_Brundage) March 19, 2019