DNNV: A Framework for Deep Neural Network Verification.

David Shriver Sebastian G. Elbaum Matthew B. Dwyer

Published in: CoRR (2021)

Keyphrases

neural network
main contribution
training data
probabilistic model
machine learning
case study
artificial neural networks
lightweight
theoretical framework