nnv-rs (cargo): Verification and Statistics on Deep Neural Networks
Keywords: machine-learning|verification|ndarray|deep-learning|statistics