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.

Project Resource:

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:

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

2018 Fortune Global 500 Public Company AI Adaptivity Report is out!
Purchase a Kindle-formatted report on Amazon.
Apply for Insight Partner Program to get a complimentary full PDF report.

Follow us on Twitter @Synced_Global for daily AI news!

We know you don’t want to miss any stories. Subscribe to our popular Synced Global AI Weekly to get weekly AI updates.