Khedr, Haitham

1. SAM 2: Segment Anything in Images and Videos
   2024/08/01 by Nikhila Ravi, Ravi, Nikhila, Valentin Gabeur +33 · 1 voice · 1052 citations
   Computer Science · #Generative Adversarial Networks and Image Synthesis
2. SAM 3: Segment Anything with Concepts
   2025/11/20 by Nicolas Carion, Laura Gustafson, Carion, Nicolas +73 · 71 citations
   Computer Science · #Advanced Image and Video Retrieval Techniques #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Multimodal Machine Learning Applications
3. Formal Verification of Neural Network Controlled Autonomous Systems
   2018/10/31 by Xiaowu Sun, Haitham Khedr, Sun, Xiaowu +3 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning and Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
4. CertiFair: A Framework for Certified Global Fairness of Neural Networks
   2022/05/20 by Khedr, Haitham, Shoukry, Yasser · 4 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG)
5. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
   2022/11/22 by Wael Fatnassi, Haitham Khedr, Fatnassi, Wael +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
6. DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation
   2023/05/22 by Haitham Khedr, Yasser Shoukry, Khedr, Haitham +1 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG)