Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks.

Zhaodi Zhang Yiting Wu Si Liu Jing Liu Min Zhang

Published in: CoRR (2022)

Keyphrases

linear approximation
neural network
activation function
basis functions
pattern recognition
back propagation
artificial neural networks
model checking
computer vision
policy iteration
markov decision processes
piece wise