Picture for Siddharth Srivastava

Siddharth Srivastava

Belief-State Query Policies for Planning With Preferences Under Partial Observability

May 24, 2024
Viaarxiv icon

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

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

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

Feb 23, 2024
Figure 1 for From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data
Figure 2 for From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data
Figure 3 for From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data
Figure 4 for From Reals to Logic and Back: Inventing Symbolic Vocabularies, Actions, and Models for Planning from Raw Data
Viaarxiv icon

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

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

OmniVec: Learning robust representations with cross modal sharing

Nov 07, 2023
Viaarxiv icon

Talk2BEV: Language-enhanced Bird's-eye View Maps for Autonomous Driving

Add code
Oct 03, 2023
Figure 1 for Talk2BEV: Language-enhanced Bird's-eye View Maps for Autonomous Driving
Figure 2 for Talk2BEV: Language-enhanced Bird's-eye View Maps for Autonomous Driving
Figure 3 for Talk2BEV: Language-enhanced Bird's-eye View Maps for Autonomous Driving
Figure 4 for Talk2BEV: Language-enhanced Bird's-eye View Maps for Autonomous Driving
Viaarxiv icon

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

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

Predicting Citi Bike Demand Evolution Using Dynamic Graphs

Add code
Dec 18, 2022
Figure 1 for Predicting Citi Bike Demand Evolution Using Dynamic Graphs
Figure 2 for Predicting Citi Bike Demand Evolution Using Dynamic Graphs
Figure 3 for Predicting Citi Bike Demand Evolution Using Dynamic Graphs
Figure 4 for Predicting Citi Bike Demand Evolution Using Dynamic Graphs
Viaarxiv icon

Hierarchical Termination Analysis for Generalized Planning

Dec 06, 2022
Figure 1 for Hierarchical Termination Analysis for Generalized Planning
Figure 2 for Hierarchical Termination Analysis for Generalized Planning
Figure 3 for Hierarchical Termination Analysis for Generalized Planning
Figure 4 for Hierarchical Termination Analysis for Generalized Planning
Viaarxiv icon