6 citations · 8 across the 2 of their papers we have counts for
3 papers
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…
cs.LG2020
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier
Haitham Khedr, James Ferlez, Yasser Shoukry
Neural Networks (NNs) have increasingly apparent safety implications commensurate with their proliferation in real-world applications: both unanticipated as well as adversarial mis…