TY  - RPRT
TI  - VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch
AU  - Sawinder Kaur
AU  - Yi Xiao
AU  - Asif Salekin
PY  - 2023
UR  - https://arxiv.org/abs/2211.09945
ID  - 2211.09945
ER  -