AI Research

Stanford Open-Sources Neural Network Verification Project

A Stanford Intelligent Systems Laboratory (SISL) research group has announced it is open-sourcing its NeuralVerification.jl project, which helps verify deep neural networks' training, robustness and safety results.

A Stanford Intelligent Systems Laboratory (SISL) research group has announced it is open-sourcing its NeuralVerification.jl project, which helps verify deep neural networks’ training, robustness and safety results.

Project Resource: https://github.com/sisl/NeuralVerification.jl?from=timeline#set-up-the-problem

The library is now available in GitHub and contains implementations of various methods used to verify deep neural networks. The resource divides methods to verify whether a neural network satisfies certain input-output constraints into five categories, including:

The library’s installation instructions are as follows:
image.png image.png image.png image.png Publication of the Stanford team’s related research paper is expected by the end of January 2019 at the earliest.


Author: Victor Lu | Editor: Michael Sarazen

4 comments on “Stanford Open-Sources Neural Network Verification Project

  1. Pingback: Data Science newsletter – January 16, 2019 | Sports.BradStenger.com

  2. Quality posts is the key to be a focus for the users to pay
    a quick visit the website, that’s what this site is providing.

  3. I was extresmely pleased to uncover this site. I wanted
    to thank you for your time for this particularly wonderful read!!

    I definitely appreciated every little bit of it and I have you bookmarked
    to look at new things in your web site.

  4. Thank you, I’ve just been searching for info approximately this subject for a while and yours is the greatest I’ve found out till now.
    However, what about the bottom line? Are you certain about the source?

Leave a Reply

Your email address will not be published.

%d bloggers like this: