A Test Architecture for Machine Learning Product
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks