no code implementations • 17 Nov 2022 • Sawinder Kaur, Yi Xiao, Asif Salekin
This study introduces VeriCompress, a tool that automates the search and training of compressed models with robustness guarantees.
no code implementations • 10 Feb 2022 • Sawinder Kaur, Ferdinando Fioretto, Asif Salekin
The ability of Deep Neural Networks to approximate highly complex functions is key to their success.