Kaur, S.; Xiao, Y.; Salekin, A. VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch. AAAI 2024, 38, 22899-22905.