PV1 ⊧ DLV: Deep Learning Verificationverifies that a neural network has no misclassifications
Framework for automated verification of safety of classification decisions made by feed-forward deep neural networks.Application domain/field
- Deep neural networks
- Safety verification
- Image classification
- Adversarial perturbations
- Classifiers
Expected input
- Dataset
- Neural network
- ?
Format:
Everything seems to be defined within a python file.