Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Mastering the game of Go with deep neural networks and tree search