Heidy Khlaaf

发表论文 26 篇 · 总被引 10834 次 · h-index 13

代表论文

• Evaluating Large Language Models Trained on Code (2021 · arXiv.org · 被引 11017)
• Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims (2020 · arXiv.org · 被引 486)
• T2: Temporal Property Verification (2015 · International Conference on Tools and Algorithms for Construction and Analysis of Systems · 被引 77)
• A Hazard Analysis Framework for Code Synthesis Large Language Models (2022 · arXiv.org · 被引 40)
• On Automation of CTL* Verification for Infinite-State Systems (2015 · International Conference on Computer Aided Verification · 被引 37)
• Toward Comprehensive Risk Assessments and Assurance of AI-Based Systems (2026 · arXiv.org · 被引 36)