NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks

Abstract

In this work, we present an early prototype of NeVer 2.0, a new system for automated synthesis and analysis of deep neural networks.NeVer 2.0borrows its design philosophy from NeVer, the first package that integrated learning, automated verification and repair of (shallow) neural networks in a single tool. The goal of NeVer 2.0 is to provide a similar integration for deep networks by leveraging a selection of state-of-the-art learning frameworks and integrating them with verification algorithms to ease the scalability challenge and make repair of faulty networks possible.

arXiv commentarXiv admin note: text overlap with arXiv:2003.07636

References in corpus (8)

• Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift
• PyTorch: An Imperative Style, High-Performance Deep Learning Library
• Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms
• Evaluating Robustness of Neural Networks with Mixed Integer Programming
• Efficient Formal Safety Analysis of Neural Networks
• A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
• A Survey of Safety and Trustworthiness of Deep Neural Networks: Verification, Testing, Adversarial Attack and Defence, and Interpretability
• Automated Verification of Neural Networks: Advances, Challenges and Perspectives