Sanjit A. Seshia
9 papers · 2016–2024 · 5 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 ↑
π Interdisciplinary Bridge Β· Gold π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (41) π£ Hot Topic Early Bird π Conference Polyglot Β· Silver
π
Renaissance Researcher
(7)
ποΈ
Keyword Collector
(65)
Venues
Top co-authors
Research topics
Machine Learning
(8)
Artificial Intelligence
(6)
Core AI
(6)
Deep Learning
(4)
Application Areas
(3)
Core Methods
(3)
Learning Types
(3)
Computer Science
(2)
Computer Vision
(2)
Mathematics & Optimization
(2)
Natural Language Processing
(2)
Reinforcement Learning
(2)
Analysis
(2)
Applications
(2)
Architectures
(2)
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
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
AAAI 2024
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
NeurIPS 2024
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
NeurIPS 2024
Verified Code Transpilation with LLMs
NeurIPS 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