Verification of Neural Network Model Evolution

A plurality of result pairs may be compared of at least part of an input region of neural network model input data. Each of the plurality of result pairs may include a first result provided by a first neural network model for a respective subregion of the input region and a second result provided by a second neural network model for the respective subregion. The second neural network model may be an update of the first neural network model. It may be determined that there exists a non-equivalent result pair within the plurality of result pairs, wherein the first result of the non-equivalent result pair provided by the first neural network model differs from the second result of the non-equivalent result pair provided by the second neural network model. The second neural network model may be retrained based at least in part on existence of the non-equivalent result pair.