Haitham Khedr - RankMe

16 papers A* 3Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	SAM 2: Segment Anything in Images and Videos. ICLR 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
2025	J	`jnl`	SAM 3: Segment Anything with Concepts. CoRR 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
2024	A*	`conf`	DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. AAAI Haitham Khedr, Yasser Shoukry
2024	J	`jnl`	SAM 2: Segment Anything in Images and Videos. CoRR 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
2023	—	`conf`	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2023	A*	`conf`	CertiFair: A Framework for Certified Global Fairness of Neural Networks. AAAI Haitham Khedr, Yasser Shoukry
2023	J	`jnl`	DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation. CoRR Haitham Khedr, Yasser Shoukry
2023	—	`—`	Formal Verification of Neural Networks: Algorithms and Applications Haitham Khedr
2022	J	`jnl`	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. CoRR Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2022	J	`jnl`	CertiFair: A Framework for Certified Global Fairness of Neural Networks. CoRR Haitham Khedr, Yasser Shoukry
2022	—	`conf`	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. HSCC James Ferlez, Haitham Khedr, Yasser Shoukry
2021	J	`jnl`	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. CoRR James Ferlez, Haitham Khedr, Yasser Shoukry
2021	—	`conf`	PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. CAV (1) Haitham Khedr, James Ferlez, Yasser Shoukry
2020	J	`jnl`	Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. CoRR Haitham Khedr, James Ferlez, Yasser Shoukry
2019	—	`conf`	Formal verification of neural network controlled autonomous systems. HSCC Xiaowu Sun, Haitham Khedr, Yasser Shoukry
2018	J	`jnl`	Formal Verification of Neural Network Controlled Autonomous Systems. CoRR Xiaowu Sun, Haitham Khedr, Yasser Shoukry