[tomdre]

One of my dreams is to do something similar by simplifying neural nets via (bi)simulation (something along the lines of quotient automata).

[long]

I think you will like this paper then: https://arxiv.org/abs/1711.09576