Publications

Haitham Khedr, Yasser Shoukry (2023). DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation. DeepBern-Nets.

Haitham Khedr, Yasser Shoukry (2022). CertiFair: A Framework for Certified Global Fairness of Neural Networks (AAAI 23'). CertiFair.

Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry (2022). BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic (HSCC 23'). BERN-NN.

James Ferlez, Haitham Khedr, Yasser Shoukry (2022). Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (HSCC 22'). Fast BATLLNN.

Haitham Khedr, James Ferlez, Yasser Shoukry (2021). PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier (CAV 21'). PEREGRiNN.

Xiaowu Sun, Haitham Khedr, Yasser Shoukry (2019). Formal Verification of Neural Network Controlled Autonomous Systems (HSCC 19'). Formal Verification of Neural Network Controlled Autonomous Systems.