An interesting paper on robustness verification. The paper proposes a general framework for layer-wise LP relaxations and shows which relaxation is tighter. Further it shows that there is a theoretical barrier to layer-wise LP relaxations.