12 papers
i-EXAM: Instructable and Explainable Attack Connectivity Graph Modeler
Rakesh Podder, Wadia Ganim, Sarath Sreedharan +2
i-EXAM is a planning-powered tool that helps system administrators to create security profiles of complex networks and perform what-if analyses to identify network hardening strate…
NestRL: A Nested Training Regime for Mutual Adaptation in Human-AI Teaming
Upasana Biswas, Durgesh Kalwar, Subbarao Kambhampati +1
Mutual adaptation is a central challenge in human-AI teaming, as humans naturally adjust their strategies in response to an AI agent's behavior. Existing approaches attempt to appr…
Seemingly Simple Planning Problems are Computationally Challenging: The Countdown Game
Michael Katz, Harsha Kokel, Sarath Sreedharan
There is a broad consensus that the inability to form long-term plans is one of the key limitations of current foundational models and agents. However, the existing planning benchm…
Asymmetric Trust Effects of Corrective AI in Expert Advisory Workflows under Epistemic Dependence
Dennis Kim, Roya Daneshi, Bruce Draper +1
The increasing integration of AI-powered tools into expert workflows, such as medicine, law, and finance, raises a critical question: how does AI involvement influence a user`s tru…
On the Role of Domain Experts in Creating Effective Tutoring Systems
Sarath Sreedharan, Kelsey Sikes, Nathaniel Blanchard +3
The role that highly curated knowledge, provided by domain experts, could play in creating effective tutoring systems is often overlooked within the AI for education community. In…
SPEAR: Security Posture Evaluation using AI Planner-Reasoning on Attack-Connectivity Hypergraphs
Rakesh Podder, Turgay Caglar, Shadaab Kawnain Bashir +3
Graph-based frameworks are often used in network hardening to help a cyber defender understand how a network can be attacked and how the best defenses can be deployed. However, inc…