Pulkit Verma

Orcid: 0000-0002-8770-5390

Affiliations:
  • Arizona State University, Tempe, AZ, USA


According to our database1, Pulkit Verma authored at least 22 papers between 2015 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Using Explainable AI and Hierarchical Planning for Outreach with Robots.
CoRR, 2024

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

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

Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Data Efficient Paradigms for Personalized Assessment of Black-Box Taskable AI Systems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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

Autonomous Capability Assessment of Sequential Decision-Making Systems in Stochastic Settings.
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.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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

Discovering User-Interpretable Capabilities of Black-Box Planning Agents.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022


JEDAI: A System for Skill-Aligned Explainable Robot Planning.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Differential Assessment of Black-Box AI Agents.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
JEDAI Explains Decision-Making AI.
CoRR, 2021

Learning Causal Models of Autonomous Agents using Interventions.
CoRR, 2021

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

Data Efficient Algorithms and Interpretability Requirements for Personalized Assessment of Taskable AI Systems.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Asking the Right Questions: Learning Interpretable Action Models Through Query Answering.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019
Learning Generalized Models by Interrogating Black-Box Autonomous Agents.
CoRR, 2019

2015
i-Vectors in speech processing applications: a survey.
Int. J. Speech Technol., 2015


A mobile agents based distributed speech recognition engine for controlling multiple robots.
Proceedings of the 2015 Conference on Advances In Robotics, 2015


  Loading...