claim
Hue Dang, Matthew Wicker, Goetz Botterweck, and Andrea Patane address the problem of computing robustness guarantees for neural networks against the quantisation of inputs, parameters, and activation values by bounding the worst-case discrepancy between an original neural network and all possible quantised versions parametrised by a maximum quantisation diameter epsilon greater than zero.

Authors

Sources

Referenced by nodes (1)