Suivre
Haitham Khedr
Haitham Khedr
Meta, FAIR
Adresse e-mail validée de meta.com - Page d'accueil
Titre
Citée par
Citée par
Année
Sam 2: Segment anything in images and videos
N Ravi, V Gabeur, YT Hu, R Hu, C Ryali, T Ma, H Khedr, R Rädle, ...
arXiv preprint arXiv:2408.00714, 2024
3812024
Formal verification of neural network controlled autonomous systems
X Sun, H Khedr, Y Shoukry
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
1752019
Peregrinn: Penalized-relaxation greedy neural network verifier
H Khedr, J Ferlez, Y Shoukry
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
322021
Fast BATLLNN: fast box analysis of two-level lattice neural networks
J Ferlez, H Khedr, Y Shoukry
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
202022
Sam 2: Segment anything in images and videos. arXiv 2024
N Ravi, V Gabeur, YT Hu, R Hu, C Ryali, T Ma, H Khedr, R Rädle, ...
arXiv preprint arXiv:2408.00714, 0
20
Certifair: A framework for certified global fairness of neural networks
H Khedr, Y Shoukry
Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8237-8245, 2023
192023
Sam 2: Segment anything in images and videos, 2024
N Ravi, V Gabeur, YT Hu, R Hu, C Ryali, T Ma, H Khedr, R Rädle, ...
URL https://arxiv. org/abs/2408.00714 18, 0
8
Bern-nn: Tight bound propagation for neural networks using bernstein polynomial interval arithmetic
W Fatnassi, H Khedr, V Yamamoto, Y Shoukry
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
72023
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions
H Khedr, J Ferlez, Y Shoukry
arXiv preprint arXiv:2006.10864, 2020
52020
Deepbern-nets: Taming the complexity of certifying neural networks using bernstein polynomial activations and precise bound propagation
H Khedr, Y Shoukry
Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 21232 …, 2024
32024
Formal Verification of Neural Networks: Algorithms and Applications
H Khedr
UC Irvine, 2023
2023
Formal Verication of Neural Networks
H Khedr
University of California, Irvine, 2021
2021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12