Seshia, Sanjit A.

16 publications

TMLR 2025 LTL-Constrained Policy Optimization with Cycle Experience Replay Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia

ICLRW 2025 Learning Automata from Demonstrations, Examples, and Natural Language Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan Witwicki, Matei Zaharia, Sanjit A. Seshia

NeurIPS 2025 Robust and Diverse Multi-Agent Learning via Rational Policy Gradient Niklas Lauffer, Ameesh Shah, Micah Carroll, Sanjit A. Seshia, Stuart Russell, Michael D Dennis

NeurIPS 2025 SimpleStrat: Diversifying Language Model Generation with Stratification Justin Wong, Yury Orlovskiy, Alexander Shypula, Michael Luo, Sanjit A. Seshia, Joseph E. Gonzalez

AAAI 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes Amar Shah, Federico Mora, Sanjit A. Seshia

NeurIPS 2024 Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning Beyazit Yalcinkaya, Niklas Lauffer, Marcell Vazquez-Chanlatte, Sanjit A. Seshia

NeurIPS 2024 Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. González, Elizabeth Polgreen, Sanjit A. Seshia

NeurIPS 2024 Verified Code Transpilation with LLMs Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

ICMLW 2023 Learning Formal Specifications from Membership and Preference Queries Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia

MLJ 2023 Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

AAAI 2022 Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

NeurIPSW 2022 Runtime Monitors for Operational Design Domains of Black-Box ML-Models Hazem Torfah, Sanjit A. Seshia

AAAI 2021 Learning Branching Heuristics for Propositional Model Counting Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus

IJCAI 2018 Counterexample-Guided Data Augmentation Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

AAAI 2017 Maximum Model Counting Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia

AAAI 2014 Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi