On the Feasibility of Compressing Certifiably Robust Neural NetworksPratik VaishnaviVeena Krishet al.2022NeurIPS 2022