| 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 | 195 | 2024 |
| 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 | 174 | 2019 |
| Peregrinn: Penalized-relaxation greedy neural network verifier H Khedr, J Ferlez, Y Shoukry Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 31 | 2021 |
| 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 | 19 | 2023 |
| 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 | 18 | 2022 |
| 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 | 7 | |
| 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 | 6 | 2023 |
| 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, 0 | 6 | |
| Effective Formal Verification of Neural Networks using the Geometry of Linear Regions H Khedr, J Ferlez, Y Shoukry arXiv preprint arXiv:2006.10864, 2020 | 5 | 2020 |
| 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 | 3 | 2024 |
| 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 |
Yasser ShoukryUniversity of California, IrvineVerified email at uci.edu
