Haitham Khedr

1. SAM 2: Segment Anything in Images and Videos
   2024/08/01 by Nikhila Ravi, Valentin Gabeur, Ravi, Nikhila +33 · 1 voice · 1080 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 · 86 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, Sun, Xiaowu, Haitham Khedr +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. BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic
   2022/11/22 by Wael Fatnassi, Fatnassi, Wael, Haitham Khedr +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
5. 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)