Sanjit A. Seshia

neural network (3) object detection (2) reinforcement learning (2) autonomous driving (2) data augmentation (1) semantic analysis (1) transfer learning (1) algorithm optimization (1) trajectory prediction (1) policy learning (1) program synthesis (1) semantic representation (1) procedural generation (1) inverse reinforcement learning (1) formal verification (1) automated reasoning (1) human-robot interaction (1) hierarchical reinforcement learning (1) code generation (1) boolean satisfiability (1)