Pulkit Verma

According to our database, Pulkit Verma authored at least 21 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications.

Rushang Karia, Daksh Dobhal, Daniel Bramblett, Pulkit Verma, Siddharth Srivastava

CoRR, 2024

From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data.

Naman Shah, Jayesh Nagpal, Pulkit Verma, Siddharth Srivastava

CoRR, 2024

Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings.

Rushang Karia, Pulkit Verma, Alberto Speranzon, Siddharth Srivastava

CoRR, 2024

Data Efficient Paradigms for Personalized Assessment of Black-Box Taskable AI Systems.

Pulkit Verma

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems.

Pulkit Verma, Rushang Karia, Siddharth Srivastava

CoRR, 2023

Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings.

Pulkit Verma, Rushang Karia, Siddharth Srivastava

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Sample Efficient Paradigms for Personalized Assessment of Taskable AI Systems.

Pulkit Verma

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Benchmarking Generalization via In-Context Instructions on 1, 600+ Language Tasks.

Yizhong Wang, Swaroop Mishra, Pegah Alipoormolabashi, Yeganeh Kordi, Amirreza Mirzaei, Anjana Arunkumar, Arjun Ashok, Arut Selvan Dhanasekaran, Atharva Naik, David Stap, Eshaan Pathak, Giannis Karamanolakis, Haizhi Gary Lai, Ishan Purohit, Ishani Mondal, Jacob Anderson, Kirby Kuznia, Krima Doshi, Maitreya Patel, Kuntal Kumar Pal, Mehrad Moradshahi, Mihir Parmar, Mirali Purohit, Neeraj Varshney, Phani Rohitha Kaza, Pulkit Verma, Ravsehaj Singh Puri, Rushang Karia, Shailaja Keyur Sampat, Savan Doshi, Siddhartha Mishra, Sujan Reddy A, Sumanta Patro, Tanay Dixit, Xudong Shen, Chitta Baral, Yejin Choi, Hannaneh Hajishirzi, Noah A. Smith, Daniel Khashabi

CoRR, 2022

Discovering User-Interpretable Capabilities of Black-Box Planning Agents.

Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Super-NaturalInstructions: Generalization via Declarative Instructions on 1600+ NLP Tasks.

Yizhong Wang, Swaroop Mishra, Pegah Alipoormolabashi, Yeganeh Kordi, Amirreza Mirzaei, Atharva Naik, Arjun Ashok, Arut Selvan Dhanasekaran, Anjana Arunkumar, David Stap, Eshaan Pathak, Giannis Karamanolakis, Haizhi Gary Lai, Ishan Purohit, Ishani Mondal, Jacob Anderson, Kirby Kuznia, Krima Doshi, Kuntal Kumar Pal, Maitreya Patel, Mehrad Moradshahi, Mihir Parmar, Mirali Purohit, Neeraj Varshney, Phani Rohitha Kaza, Pulkit Verma, Ravsehaj Singh Puri, Rushang Karia, Savan Doshi, Shailaja Keyur Sampat, Siddhartha Mishra, Sujan Reddy A, Sumanta Patro, Tanay Dixit, Xudong Shen

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

JEDAI: A System for Skill-Aligned Explainable Robot Planning.

Naman Shah, Pulkit Verma, Trevor Angle, Siddharth Srivastava

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Differential Assessment of Black-Box AI Agents.

Rashmeet Kaur Nayyar, Pulkit Verma, Siddharth Srivastava

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

JEDAI Explains Decision-Making AI.

Trevor Angle, Naman Shah, Pulkit Verma, Siddharth Srivastava

CoRR, 2021

Learning Causal Models of Autonomous Agents using Interventions.

Pulkit Verma, Siddharth Srivastava

CoRR, 2021

Learning User-Interpretable Descriptions of Black-Box AI System Capabilities.

Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava

CoRR, 2021

Data Efficient Algorithms and Interpretability Requirements for Personalized Assessment of Taskable AI Systems.

Pulkit Verma

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Asking the Right Questions: Learning Interpretable Action Models Through Query Answering.

Pulkit Verma, Shashank Rao Marpally, Siddharth Srivastava

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

Learning Generalized Models by Interrogating Black-Box Autonomous Agents.

Pulkit Verma, Siddharth Srivastava

CoRR, 2019

2015

i-Vectors in speech processing applications: a survey.

Pulkit Verma, Pradip K. Das

Int. J. Speech Technol., 2015

Investigating the "Wisdom of Crowds" at Scale.

Alok Shankar Mysore, Vikas S. Yaligar, Imanol Arrieta Ibarra, Camelia Simoiu, Sharad Goel, Ramesh Arvind, Chiraag Sumanth, Arvind Srikantan, Bhargav HS, Mayank Pahadia, Tushar Dobha, Atif Ahmed, Mani Shankar, Himani Agarwal, Rajat Agarwal, Sai Anirudh-Kondaveeti, Shashank Arun-Gokhale, Aayush Attri, Arpita Chandra, Yogitha Chilukur, Sharath Dharmaji, Deepak Garg, Naman Gupta, Paras Gupta, Glincy Mary Jacob, Siddharth Jain, Shashank Joshi, Tarun Khajuria, Sameeksha Khillan, Sandeep Konam, Praveen Kumar-Kolla, Sahil Loomba, Rachit Madan, Akshansh Maharaja, Vidit Mathur, Bharat Munshi, Mohammed Nawazish, Venkata Neehar-Kurukunda, Venkat Nirmal-Gavarraju, Sonali Parashar, Harsh Parikh, Avinash Paritala, Amit Patil, Rahul Phatak, Mandar Pradhan, Abhilasha Ravichander, Krishna Sangeeth, Sreecharan Sankaranarayanan, Vibhor Sehgal, Ashrith Sheshan, Suprajha Shibiraj, Aditya Singh, Anjali Singh, Prashant Sinha, Pushkin Soni, Bipin Thomas, Kasyap Varma-Dattada, Sukanya Venkataraman, Pulkit Verma, Ishan Yelurwar

Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

A mobile agents based distributed speech recognition engine for controlling multiple robots.

Mayank Gupta, Pulkit Verma, Tuhin Bhattacharya, Pradip K. Das

Proceedings of the 2015 Conference on Advances In Robotics, 2015