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:
- Reachability methods: ExactReach, MaxSens, Ai2,
- Primal optimization methods: NSVerify, MIPVerify, ILP
- Dual optimization methods: Duality, ConvDual, Certify
- Search and reachability methods: ReluVal, DLV, FastLin, FastLip
- Search and optimization methods: Sherlock, BaB, Planet, Reluplex
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
Pingback: Data Science newsletter – January 16, 2019 | Sports.BradStenger.com
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.
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.
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?