Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations.

Philipp Kern, Carsten Sinz

Browse the full SAS paper archive.