53 citations · 434 across the 45 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
Make Planning Research Rigorous Again!
Michael Katz, Harsha Kokel, Christian Muise +2
In over sixty years since its inception, the field of planning has made significant contributions to both the theory and practice of building planning software that can solve a nev…
Inferring Implicit Goals Across Differing Task Models
Silvia Tulli, Stylianos Loukas Vasileiou, Mohamed Chetouani +1
One of the significant challenges to generating value-aligned behavior is to not only account for the specified user objectives but also any implicit or unspecified user requiremen…