arXiv:1903.06758 [cs.LG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords verifying deep neural networks, algorithms, simple arithmetic operations, nonlinear function approximation, article surveys methods Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset