3

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (HSCC 23')
In this paper, we present BERN-NN as an efficient tool to perform bound propagation of Neural Networks (NNs). Bound propagation is a …
Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
PDF