iiinova — where your digital self keeps evolving

Pulkit Verma @pulkitverma.bsky.social · 09/11/2025

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.

010

Pulkit Verma @pulkitverma.bsky.social · 18/08/2025

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

020

Pulkit Verma @pulkitverma.bsky.social · 07/08/2025

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

041

Pulkit Verma @pulkitverma.bsky.social · 01/08/2025

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

bit.ly

HAXP - ICAPS 2025

111

Pulkit Verma @pulkitverma.bsky.social · 12/05/2025

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

031

Pulkit Verma @pulkitverma.bsky.social · 02/03/2025

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...

010

Pulkit Verma @pulkitverma.bsky.social · 22/02/2025

#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

022

Pulkit Verma @pulkitverma.bsky.social · 18/01/2025

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)

171

Reposted by Pulkit Verma

planning.domains @planning.domains · 24/11/2024

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

084

Reposted by Pulkit Verma

arxiv cs.RO @arxiv-cs-ro.bsky.social · 13/11/2024

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 arxiv.org/abs/2404.00808

001

Reposted by Pulkit Verma

arxiv cs.CL @arxiv-cs-cl.bsky.social · 28/03/2024

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

001

Reposted by Pulkit Verma

arxiv cs.CL @arxiv-cs-cl.bsky.social · 23/07/2024

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

011

Reposted by Pulkit Verma

arxiv cs.RO @arxiv-cs-ro.bsky.social · 20/02/2024

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 arxiv.org/abs/2402.11871

001