AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Handwritten digit recognition: applications of neural network chips and automatic learning