1 citations · 1 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CV2022★ 1 cited
VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch
Sawinder Kaur, Yi Xiao, Asif Salekin
AI's widespread integration has led to neural networks (NNs) deployment on edge and similar limited-resource platforms for safety-critical scenarios. Yet, NN's fragility raises con…
cs.LG2022
Deadwooding: Robust Global Pruning for Deep Neural Networks
Sawinder Kaur, Ferdinando Fioretto, Asif Salekin
The ability of Deep Neural Networks to approximate highly complex functions is key to their success. This benefit, however, comes at the expense of a large model size, which challe…