Neural Network Verification
This repository collects publications, libraries and other tools related to Marabou tool and its use in neural network verification.
About
Documentation
Publications
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, David L. Dill, Mykel J. Kochenderfer, Clark Barrett
This site provides our paper The Marabou Framework for Verification and Analysis of Deep Neural Networks and related material at CAV2019.
All materials to reproduce the experimental evaluation in our paper can be found below.