CAV'22 paper to speed up Neural Network Verification. - View it on GitHub