InterestingReadsForDL ENSEMBLE ADVERSARIAL TRAINING: ATTACKS AND DEFENSES Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks [A Marauder’s Map of Security and Privacy in Machine Learning:]https://arxiv.org/pdf/1811.01134.pdf