It's not NN-based, but you might be interested in https://en.wikipedia.org/wiki/Superoptimization.