Differentiable Abstract Interpretation for Provably Robust Neural Networks.

Matthew Mirman Timon Gehr Martin T. Vechev

Published in: ICML (2018)

Keyphrases

neural network
abstract interpretation
termination analysis
static analysis
back propagation