Haitham Khedr

According to our database, Haitham Khedr authored at least 10 papers between 2019 and 2025.

Collaborative distances:

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

2025

SAM 3: Segment Anything with Concepts.

Nicolas Carion, Laura Gustafson, Yuan-Ting Hu, Shoubhik Debnath, Ronghang Hu, Didac Suris, Chaitanya Ryali, Kalyan Vasudev Alwala, Haitham Khedr, Andrew Huang, Jie Lei, Tengyu Ma, Baishan Guo, Arpit Kalla, Markus Marks, Joseph Greer, Meng Wang, Peize Sun, Roman Rädle, Triantafyllos Afouras, Effrosyni Mavroudi, Katherine Xu, Tsung-Han Wu, Yu Zhou, Liliane Momeni, Rishi Hazra, Shuangrui Ding, Sagar Vaze, Francois Porcher, Feng Li, Siyuan Li, Aishwarya Kamath, Ho Kei Cheng, Piotr Dollár, Nikhila Ravi, Kate Saenko, Pengchuan Zhang, Christoph Feichtenhofer

CoRR, November, 2025

SAM 2: Segment Anything in Images and Videos.

Nikhila Ravi, Valentin Gabeur, Yuan-Ting Hu, Ronghang Hu, Chaitanya Ryali, Tengyu Ma, Haitham Khedr, Roman Rädle, Chloé Rolland, Laura Gustafson, Eric Mintun, Junting Pan, Kalyan Vasudev Alwala, Nicolas Carion, Chao-Yuan Wu, Ross B. Girshick, Piotr Dollár, Christoph Feichtenhofer

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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

Formal Verification of Neural Networks: Algorithms and Applications

Haitham Khedr

PhD thesis, 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