Sanjit A. Seshia
9 papers · 2016–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (5) 🏃 Academic Marathon (8) 🐝 Cross-Pollinator (13)
🌍
Conference Polyglot
(5)
🏃
Academic Marathon
(8)
🐝
Cross-Pollinator
(13)
🧬
Topic Evolution
📈
Trend Setter
🗃️
Keyword Collector
(65)
Conferences
AAAI (3)
NIPS (3)
CVPR (1)
IJCAI (1)
RSS (1)
Top co-authors
Keywords
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)
Papers
Verified Code Transpilation with LLMs
NIPS 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
NIPS 2024
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
NIPS 2024
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
AAAI 2024
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning
AAAI 2022
Learning Branching Heuristics for Propositional Model Counting
AAAI 2021
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors
CVPR 2020
Counterexample-Guided Data Augmentation
IJCAI 2018
Planning for Autonomous Cars that Leverage Effects on Human Actions
RSS 2016