If you are at #ICAPS2025 and interested in human-aware explainable planning, consider attending the HAXP workshop in Room 6. We have amazing invited talks by Mor Vered and Antonio Rago, and a panel with Mor Vered, Sarath Sreedharan, and David Smith.

#IJCAI2025 Workshop on User-Aligned Assessment of Adaptive AI Systems (AIA2025) is now in progress. Please note that the room is changed to 520C.

The program for the #IJCAI2025 Workshop on User-Aligned Assessment of Adaptive AI Systems is now available. We have a fantastic lineup of invited speakers and talks. Link: bit.ly/ijcai25-aia @ruqi-zhang.bsky.social @sidsrivast.bsky.social

The deadline for #ICAPS2025 Workshop on Human-Aware and Explainable Planning (HAXP) is 10 days away. If you work on human-AI interaction and explainability, in the context of planning, scheduling, RL, etc., please check it out. 🗓️ Nov 10 or 11, 2025 📍 Melbourne, Australia 🔗 bit.ly/haxp25

The deadline for #IJCAI2025 Workshop on User-Aligned Assessment of Adaptive AI Systems is just 5 days away. If you are working on any aspect of assessment, regulation, compliance, etc., of AI systems, please check it out. More details here: bit.ly/ijcai25-aia Deadline: May 16, 2025 AoE

If you are attending #HRI2025, check out our talk on Interpretability Analysis of Symbolic Representations for Sequential Decision-Making Systems at the X-HRI Workshop. Joint work with Julie Shah. ⏱️ March 03, 09:15 AM AEDT. 📍 Room 106, HRI2025. 🔗 sites.google.com/view/x-hri/s...

#AAAI2025 is almost here! I’ll co-organize a tutorial with @sidsrivast.bsky.social on User-Driven Capability Assessment of Taskable AI Systems. The schedule is now live, so mark your calendars! 📅 26 February 2025 📍Room 115A, Pennsylvania Convention Center 🔗 bit.ly/aia25-tutorial

Excited to organize a half-day tutorial at #AAAI2025 on User-Driven Capability Assessment of Taskable AI Systems with @sidsrivast.bsky.social. 📅 26 February 2025 ⏱️ 8:30 AM - 12:30 PM EST 📍 AAAI 2025, Philadelphia, USA 🔗 bit.ly/aia25-tutorial (1/3)

Welcome to all those on Bluesky interested in AI Planning! 🦋 go.bsky.app/RiL1Dz3

Rushang Karia, Jayesh Nagpal, Daksh Dobhal, Pulkit Verma, Rashmeet Kaur Nayyar, Naman Shah, Siddharth Srivastava Using Explainable AI and Hierarchical Planning for Outreach with Robots https://arxiv.org/abs/2404.00808

Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma, Siddharth Srivastava Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications https://arxiv.org/abs/2403.18327

Rushang Karia, Daniel Bramblett, Daksh Dobhal, Pulkit Verma, Siddharth Srivastava $\forall$uto$\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks https://arxiv.org/abs/2403.18327

Naman Shah, Jayesh Nagpal, Pulkit Verma, Siddharth Srivastava From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions and Models for Planning from Raw Data https://arxiv.org/abs/2402.11871