VeriCompress: A Tool to Streamline the Synthesis of Verified Robust Compressed Neural Networks from Scratch.

Sawinder Kaur Yi Xiao Asif Salekin

Published in: AAAI (2024)

Keyphrases

neural network
pattern recognition
databases
artificial neural networks
data structure
image quality
self organizing maps
parameter tuning
real time
genetic algorithm
social networks
decision making
image processing
user friendly
multilayer perceptron
training process