arXiv:2102.02273 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords neural network, performance verification, algorithms, complexity, polynomial sum-of-squares methods Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset