Paper at VNN’19

Our paper on “Automated Verification of Neural Networks: Advances, Challenges and Perspectives” by Francesco Leofante, Nina Narodytska, Luca Pulina and Armando Tacchella will be presented at the 2019 AAAI Spring Symposium on Verification of Neural Networks (VNN19), to be held at Stanford University, March 25-27, 2019.

Leave a Reply

Your email address will not be published. Required fields are marked *