New computational algorithms make it possible to build neural networks with many input nodes and many layers, and distinguish "deep learning" of these networks from previous work on artificial neural nets.
However, many use cases of neural network verification require solving the inverse problem, or over-approximating the set of inputs that lead to certain outputs.