VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch.

Sawinder Kaur, Yi Xiao, Asif Salekin

Browse the full AAAI paper archive.