Image segmentation with traveling waves in an exactly solvable recurrent neural network