2 citations · 2 across the 1 of their papers we have counts for
6 papers
Safe Human-Interactive Control via Shielding
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani +2
Ensuring safety for human-interactive robotics is important due to the potential for human injury. The key challenge is defining safety in a way that accounts for the complex range…
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments
Yichen David Yang, Jeevana Priya Inala, Osbert Bastani +3
A key challenge for reinforcement learning is solving long-horizon planning problems. Recent work has leveraged programs to guide reinforcement learning in these settings. However,…
Neurosymbolic Transformers for Multi-Agent Communication
Jeevana Priya Inala, Yichen Yang, James Paulos +5
We study the problem of inferring communication structures that can solve cooperative multi-agent planning problems while minimizing the amount of communication. We quantify the am…
Likelihood-Based Diverse Sampling for Trajectory Forecasting
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman +1
Forecasting complex vehicle and pedestrian multi-modal distributions requires powerful probabilistic approaches. Normalizing flows (NF) have recently emerged as an attractive tool…
REAS: Combining Numerical Optimization with SAT Solving
Jeevana Priya Inala, Sicun Gao, Soonho Kong +1
In this paper, we present ReaS, a technique that combines numerical optimization with SAT solving to synthesize unknowns in a program that involves discrete and floating point comp…
WebRelate: Integrating Web Data with Spreadsheets using Examples
Jeevana Priya Inala, Rishabh Singh
Data integration between web sources and relational data is a key challenge faced by data scientists and spreadsheet users. There are two main challenges in programmatically joinin…