Seshia, Sanjit

4 publications

NeurIPSW 2023 Automata Conditioned Reinforcement Learning with Experience Replay Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit Seshia

ICLR 2020 Learning Heuristics for Quantified Boolean Formulas Through Reinforcement Learning Gil Lederman, Markus Rabe, Sanjit Seshia, Edward A. Lee

NeurIPS 2019 On the Utility of Learning About Humans for Human-AI Coordination Micah Carroll, Rohin Shah, Mark K Ho, Tom Griffiths, Sanjit Seshia, Pieter Abbeel, Anca Dragan

NeurIPS 2018 Learning Task Specifications from Demonstrations Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K Ho, Sanjit Seshia