From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data. - Naman Shah 002; Jayesh Nagpal; Pulkit Verma 001; Siddharth Srivastava 001 (CoRR, 2024)

Using Explainable AI and Hierarchical Planning for Outreach with Robots. - Rushang Karia; Jayesh Nagpal; Daksh Dobhal; Pulkit Verma 001; Rashmeet Kaur Nayyar; Naman Shah 002; Siddharth Srivastava 001 (AAAI, 2025)