Efficiently testing local optimality and escaping saddles for ReLU networks | Read Paper on Bytez