The Fundamental Limits of Interval Arithmetic for Neural Networks.

Matthew Mirman Maximilian Baader Martin T. Vechev

Published in: CoRR (2021)

Keyphrases

fundamental limits
interval arithmetic
neural network
constraint propagation
real numbers
floating point
pattern recognition
provably correct
artificial neural networks
fuzzy logic
finite sets
implicit surfaces
high resolution
support vector machine
partial derivatives
image segmentation
genetic algorithm