deep learning neural network method evidence used in automatic assertion