@quest 25 September 2021 more from that month

Introduction to Neural Network Verification. This paper was just posted a couple days ago, very interesting read. https://arxiv.org/abs/2109.10317