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