arXiv:1609.02664 [cs.LG]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords machine learning, smt solvers, descriptive complexity, strong theoretical guarantees, real-world neural networks Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset