Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Jeevana Priya Inala

Program Synthesis Guided Reinforcement Learning

Feb 22, 2021
Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

  Access Paper or Ask Questions

Neurosymbolic Transformers for Multi-Agent Communication

Jan 05, 2021
Jeevana Priya Inala, Yichen Yang, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, Armando Solar-Lezama

  Access Paper or Ask Questions

Diverse Sampling for Normalizing Flow Based Trajectory Forecasting

Nov 30, 2020
Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani

* Technical report, 18 pages 

  Access Paper or Ask Questions

REAS: Combining Numerical Optimization with SAT Solving

Feb 13, 2018
Jeevana Priya Inala, Sicun Gao, Soonho Kong, Armando Solar-Lezama

  Access Paper or Ask Questions