Formal methods and software engineering for DL. Security, safety and productivity for DL systems development
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks