most citedBERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LG2022★ 2 cited

BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic

Wael Fatnassi, Haitham Khedr, Valen Yamamoto +1

In this paper, we present BERN-NN as an efficient tool to perform bound propagation of Neural Networks (NNs). Bound propagation is a critical step in wide range of NN model checker…