Neural Network Verification using Residual Reasoning | Read Paper on Bytez