Introduction to Neural Network Verification

Aws Albarghouthi. Introduction to Neural Network Verification. Foundations and Trends in Programming Languages, 7(1-2):1-157, 2021. [doi]

Abstract

Abstract is missing.