Haitham Khedr

ORCID：0000-0002-3220-1558

发表论文 14 篇 · 总被引 462 次 · h-index 6

代表论文

• SAM 2: Segment Anything in Images and Videos (2024 · arXiv (Cornell University) · 被引 260)
• Formal verification of neural network controlled autonomous systems (2019 · 被引 143)
• CertiFair: A Framework for Certified Global Fairness of Neural Networks (2023 · Proceedings of the AAAI Conference on Artificial Intelligence · 被引 15)
• Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (2022 · 被引 12)
• SAM 3: Segment Anything with Concepts (2025 · arXiv (Cornell University) · 被引 11)
• CertiFair: A Framework for Certified Global Fairness of Neural Networks (2022 · arXiv (Cornell University) · 被引 6)