Automated And Verified Deep Learning