Verification of Non-Linear Specifications for Neural Networks

Publication
International Conference on Learning Representations, 2019

Related