Sanjit Seshia
5 papers · 2017–2021 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge Β· Silver π Conference Polyglot Β· Bronze πΊοΈ Taxonomy Completionist (16) π§ Keyword Pioneer
π
Trend Setter
π₯
Unstoppable Β· Bronze
Venues
Top co-authors
Research topics
Keywords
reward learning
(2)
deep reinforcement learning
(1)
reinforcement learning
(1)
imitation learning
(1)
maximum entropy
(1)
preference learning
(1)
inverse reinforcement learning
(1)
automated reasoning
(1)
label ranking
(1)
learning from demonstration
(1)
stochastic game
(1)
multi-agent coordination
(1)
backtracking search
(1)
quantified boolean formula
(1)
controller synthesis
(1)
reward inference
(1)
heuristic learning
(1)
human-agent interaction
(1)
adversarial game
(1)
control synthesis
(1)
Papers
Entropy-Guided Control Improvisation
RSS 2021
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning
ICLR 2020
On the Utility of Learning about Humans for Human-AI Coordination
NeurIPS 2019
Learning Task Specifications from Demonstrations
NeurIPS 2018
Active Preference-Based Learning of Reward Functions
RSS 2017