Search Results for author:
Found 2 papers, 0 papers with code
VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch
This study introduces VeriCompress, a tool that automates the search and training of compressed models with robustness guarantees.
Deadwooding: Robust Global Pruning for Deep Neural Networks
The ability of Deep Neural Networks to approximate highly complex functions is key to their success.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
