Kaur, S., Y. Xiao, and A. Salekin. “VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 21, Mar. 2024, pp. 22899-05, doi:10.1609/aaai.v38i21.30327.