Verifying Low-Dimensional Input Neural Networks via Input Quantization.

Kai Jia Martin Rinard

Published in: SAS (2021)

Keyphrases

neural network
low dimensional
fuzzy logic
high dimensional
input data
image compression
genetic algorithm
training data
feature space
expert systems
input variables
desired output