Haitham Khedr

According to our database, Haitham Khedr authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation.

Haitham Khedr, Yasser Shoukry

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

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

Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

CertiFair: A Framework for Certified Global Fairness of Neural Networks.

Haitham Khedr, Yasser Shoukry

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.

James Ferlez, Haitham Khedr, Yasser Shoukry

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.

Haitham Khedr, James Ferlez, Yasser Shoukry

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions.

Haitham Khedr, James Ferlez, Yasser Shoukry

CoRR, 2020

2019

Formal verification of neural network controlled autonomous systems.

Xiaowu Sun, Haitham Khedr, Yasser Shoukry

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019