6 citations · 8 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.LG2022★ 6 cited
CertiFair: A Framework for Certified Global Fairness of Neural Networks
Haitham Khedr, Yasser Shoukry
We consider the problem of whether a Neural Network (NN) model satisfies global individual fairness. Individual Fairness suggests that similar individuals with respect to a certain…