Picture for Rushang Karia

Rushang Karia

Using Explainable AI and Hierarchical Planning for Outreach with Robots

Add code
Mar 31, 2024
Viaarxiv icon

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

Add code
Mar 27, 2024
Figure 1 for Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications
Figure 2 for Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications
Figure 3 for Can LLMs Converse Formally? Automatically Assessing LLMs in Translating and Interpreting Formal Specifications
Viaarxiv icon

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

Add code
Feb 13, 2024
Figure 1 for Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
Figure 2 for Epistemic Exploration for Generalizable Planning and Learning in Non-Stationary Settings
Viaarxiv icon

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

Add code
Jun 07, 2023
Figure 1 for Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems
Figure 2 for Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems
Figure 3 for Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems
Figure 4 for Autonomous Capability Assessment of Black-Box Sequential Decision-Making Systems
Viaarxiv icon

Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems

Add code
Apr 27, 2022
Figure 1 for Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems
Figure 2 for Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems
Figure 3 for Relational Abstractions for Generalized Reinforcement Learning on Symbolic Problems
Viaarxiv icon

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

Add code
Apr 16, 2022
Figure 1 for Benchmarking Generalization via In-Context Instructions on 1,600+ Language Tasks
Figure 2 for Benchmarking Generalization via In-Context Instructions on 1,600+ Language Tasks
Figure 3 for Benchmarking Generalization via In-Context Instructions on 1,600+ Language Tasks
Figure 4 for Benchmarking Generalization via In-Context Instructions on 1,600+ Language Tasks
Viaarxiv icon

Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems

Add code
Apr 08, 2022
Figure 1 for Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems
Figure 2 for Preliminary Results on Using Abstract AND-OR Graphs for Generalized Solving of Stochastic Shortest Path Problems
Viaarxiv icon

Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning

Add code
Jul 10, 2020
Figure 1 for Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning
Figure 2 for Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning
Figure 3 for Learning Generalized Relational Heuristic Networks for Model-Agnostic Planning
Viaarxiv icon