Kaur S, Xiao Y, Salekin A. VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch. AAAI [Internet]. 2024Mar.24 [cited 2026May1];38(21):22899-905. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/30327