Security Properties of Neural Networks as Decision Problems

Adrian Wurm

Certifying a deployed neural network raises decision problems that the verification literature has not classified: whether the model carries a backdoor planted in its training data…