Christopher Lazarus

• Algorithms for Verifying Deep Neural Networks