Sanjit A. Seshia

Venues

Frequent coauthors

Papers

1. Learning Symbolic Task Decompositions for Multi-Agent Teams
   AAMAS 2025 ·

   Ameesh Shah

   DBLP profile ↗ORCID search ↗
2. Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
   NeurIPS 2025 ·

   Niklas Lauffer

   DBLP profile ↗ORCID search ↗
3. SimpleStrat: Diversifying Language Model Generation with Stratification
   NeurIPS 2025 ·

   Justin Wong

   DBLP profile ↗ORCID search ↗
4. An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
   AAAI 2024 ·

   Amar Shah

   DBLP profile ↗ORCID search ↗
5. Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
   NeurIPS 2024 ·

   Beyazit Yalcinkaya

   DBLP profile ↗ORCID search ↗
6. Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
   NeurIPS 2024 ·

   Federico Mora

   DBLP profile ↗ORCID search ↗
7. Verified Code Transpilation with LLMs
   NeurIPS 2024 ·

   Sahil Bhatia

   DBLP profile ↗ORCID search ↗