Authors Search About

Kaur, Sawinder

1 publications

AAAI 2024 VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch Sawinder Kaur, Yi Xiao, Asif Salekin

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy