Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications. - Rushang Karia; Daksh Dobhal; Daniel Bramblett; Pulkit Verma 001; Siddharth Srivastava 001 (CoRR, 2024)

∀uto∃∨∧L: Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. - Rushang Karia; Daniel Bramblett; Daksh Dobhal; 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)

Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks. - Rushang Karia; Daniel Bramblett; Daksh Dobhal; Siddharth Srivastava 001 (ICLR, 2025)