4 papers
ChipMEM: Verification-Grounded Memory for EDA Agents
Abdulrahman AlRabah, Joshua Mabry, Dilek Hakkani-Tür +4
Large language model (LLM)-based agents use Electronic Design Automation (EDA) tools to generate and revise register-transfer-level (RTL) designs under synthesis and verification f…
From SQL Errors to Concept Gaps: An AI-Powered Knowledge Graph Analytics Platform for Personalized Feedback
Abdulrahman AlRabah, Weijian Zhou, Xing Gao +1
This innovative practice full paper describes an AI-powered knowledge graph platform that connects SQL errors to conceptual gaps in undergraduate and graduate database systems cour…
PredAct-Bench: Benchmarking Tool-Augmented Dialogue under Controlled Tool Noise
Abdulrahman AlRabah, Xiaocheng Yang, Dilek Hakkani-Tür +1
Large Language Models (LLMs) are increasingly deployed in task-oriented dialogue systems that support multi-step decision-making in high-stakes domains such as education, healthcar…
Instructor-Aligned Knowledge Graphs for Personalized Learning
Abdulrahman AlRabah, Priyanka Kargupta, Jiawei Han +1
Mastering educational concepts requires understanding both their prerequisites (e.g., recursion before merge sort) and sub-concepts (e.g., merge sort as part of sorting algorithms)…