Critically Assessing the State of the Art in Neural Network Verification | Read Paper on Bytez