Machine learningML & AI Methods
VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch
Streamlining Verified Robust Compressed Neural Networks: VeriCompress, a new tool that automates the search and training of compressed models with robustness guarantees, has been launched, providing faster training, improved accuracy, and reduced memory and inference time for deployment on resource-limited platforms.
Featured in No. 27 on 29 Nov 2023 · · 0 citations today · published in AAAI Conference on Artificial Intelligence
- Released
- 17 Nov 2022
- First featured
- No. 27 · 29 Nov 2023
- Citations (Semantic Scholar)
- 0
- Influential citations
- 0
- Published in
- AAAI Conference on Artificial Intelligence
- Shares when featured
- 22
- Identifier
- arXiv:2211.09945
Citations and venue from Semantic Scholar (ODC-BY), refreshed weekly. Summary: Quant Letter (CC BY 4.0).