Our ICLR workshop paper received the Best Applied Paper Award

Our paper “NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks” has won the Best Applied Paper award at the ICLR 2019 Workshop on Debugging Machine Learning Models. This paper will be presented at the workshop on May 6.