Swarat Chaudhuri

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 105

Top Venues

Publications

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov
Grounding Data Science Code Generation with Input-Output Specifications. CoRR (2024)
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation. SaTML (2024)
Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton
A Probabilistic Framework for Modular Continual Learning. ICLR (2024)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. CAV (3) (2024)
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. ICLR (2024)
Yeming Wen, Swarat Chaudhuri
Batched Low-Rank Adaptation of Foundation Models. ICLR (2024)
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Deep Policy Optimization with Temporal Logic Constraints. CoRR (2024)
Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation. CoRR (2024)
Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri
Neurosymbolic Grounding for Compositional World Models. ICLR (2024)
Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher Jermaine, Swarat Chaudhuri
Online Cascade Learning for Efficient Inference over Streams. CoRR (2024)
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. CoRR (2024)
Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri
Neurosymbolic Grounding for Compositional World Models. CoRR (2023)
Amitayush Thakur, Yeming Wen, Swarat Chaudhuri
A Language-Agent Approach to Formal Theorem-Proving. CoRR (2023)
Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri
Learning Reward Machines through Preference Queries over Sequences. CoRR (2023)
Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. CoRR (2023)
Greg Anderson, Swarat Chaudhuri, Isil Dillig
Guiding Safe Exploration with Weakest Preconditions. ICLR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CAV (3) (2023)
Yeming Wen, Swarat Chaudhuri
Batched Low-Rank Adaptation of Foundation Models. CoRR (2023)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
Symbolic Quantum Simulation with Quasimodo. CoRR (2023)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Deductive Additivity for Planning of Natural Language Proofs. CoRR (2023)
Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton
A Probabilistic Framework for Modular Continual Learning. CoRR (2023)
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. CoRR (2023)
Divyanshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Sebastian Angel, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, Philip Brighten Godfrey, Daehyeok Kim, Christopher J. Rossbach, Gang Wang
On a Foundation Model for Operating Systems. CoRR (2023)
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
Policy Optimization with Robustness Certificates. CoRR (2023)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18 (3) (2022)
Chenxi Yang, Swarat Chaudhuri
Safe Neurosymbolic Learning with Differentiable Symbolic Execution. ICLR (2022)
Greg Anderson, Swarat Chaudhuri, Isil Dillig
Guiding Safe Exploration with Weakest Preconditions. CoRR (2022)
Chenxi Yang, Swarat Chaudhuri
Safe Neurosymbolic Learning with Differentiable Symbolic Execution. CoRR (2022)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction with Incomplete Information. EMNLP (2022)
Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine
Meta-Meta Classification for One-Shot Learning. WACV (2022)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction through Search over Statement Compositions. CoRR (2022)
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction with Incomplete Information. CoRR (2022)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. CoRR (2022)
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up synthesis of recursive functional programs using angelic execution. Proc. ACM Program. Lang. 6 (POPL) (2022)
Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue
Policy Optimization with Linear Temporal Logic Constraints. CoRR (2022)
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
Neurosymbolic Programming for Science. CoRR (2022)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
Natural Language Deduction through Search over Statement Compositions. EMNLP (Findings) (2022)
Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri
Unsupervised Learning of Neurosymbolic Encoders. Trans. Mach. Learn. Res. 2022 (2022)
Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue
Policy Optimization with Linear Temporal Logic Constraints. NeurIPS (2022)
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
Flexible Generation of Natural Language Deductions. EMNLP (1) (2021)
Arkabandhu Chowdhury, Mingchao Jiang, Swarat Chaudhuri, Chris Jermaine
Few-shot Image Classification: Just Use a Library of Pre-trained Feature Extractors and a Simple Classifier. ICCV (2021)
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution. CoRR (2021)
Shlok Sobti, Rahul Shome, Swarat Chaudhuri, Lydia E. Kavraki
A Sampling-based Motion Planning Framework for Complex Motor Actions. IROS (2021)
Megan Tjandrasuwita, Jennifer J. Sun, Ann Kennedy, Swarat Chaudhuri, Yisong Yue
Interpreting Expert Annotation Differences in Animal Behavior. CoRR (2021)
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine
Neural Program Generation Modulo Static Analysis. CoRR (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. IROS (2021)
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
Neurosymbolic Programming. Found. Trends Program. Lang. 7 (3) (2021)
Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri
Unsupervised Learning of Neurosymbolic Encoders. CoRR (2021)
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
Flexible Operations for Natural Language Deduction. CoRR (2021)
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. CoRR (2021)
Yue Wang, Abdullah Al Redwan Newaz, Juan David Hernández, Swarat Chaudhuri, Lydia E. Kavraki
Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments. IEEE Trans Autom. Sci. Eng. 18 (3) (2021)
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine
Neural Program Generation Modulo Static Analysis. NeurIPS (2021)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. CoRR (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS (2020)
Rohan Mukherjee, Swarat Chaudhuri, Chris Jermaine
Searching a Database of Source Codes Using Contextualized Code Search. CoRR (2020)
Rohan Mukherjee, Chris Jermaine, Swarat Chaudhuri
Searching a Database of Source Codes Using Contextualized Code Search. Proc. VLDB Endow. 13 (10) (2020)
Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine
Meta-Meta-Classification for One-Shot Learning. CoRR (2020)
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
Learning Differentiable Programs with Admissible Neural Heuristics. NeurIPS (2020)
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR (2020)
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel W. Burdick
Control Regularization for Reduced Variance Reinforcement Learning. CoRR (2019)
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
Imitation-Projected Programmatic Reinforcement Learning. NeurIPS (2019)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) (2019)
Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
Neural query expansion for code search. MAPL@PLDI (2019)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and abstraction: a synergistic approach for analyzing neural network robustness. PLDI (2019)
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. CoRR (2019)
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives. IEEE Robotics Autom. Lett. 4 (2) (2019)
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick
Control Regularization for Reduced Variance Reinforcement Learning. ICML (2019)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. CoRR (2019)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. CoRR (2019)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator automata in quantitative verification. CoRR (2018)
Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework. IEEE Robotics Autom. Mag. 25 (3) (2018)
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives. WAFR (2018)
Neil T. Dantam, Zachary K. Kingston, Swarat Chaudhuri, Lydia E. Kavraki
An incremental constraint-based framework for task and motion planning. Int. J. Robotics Res. 37 (10) (2018)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Comparator Automata in Quantitative Verification. FoSSaCS (2018)
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy (2018)
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
Programmatically Interpretable Reinforcement Learning. CoRR (2018)
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
Program splicing. ICSE (2018)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) (2018)
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri
HOUDINI: Lifelong Learning as Program Synthesis. NeurIPS (2018)
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. CoRR (2018)
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
Programmatically Interpretable Reinforcement Learning. ICML (2018)
Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine
Neural Sketch Learning for Conditional Program Generation. ICLR (2018)
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri
Synthesis of Differentiable Functional Programs for Lifelong Learning. CoRR (2018)
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. AAMAS (2018)
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI (2017)
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
Bayesian specification learning for finding API usage errors. ESEC/SIGSOFT FSE (2017)
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
Bayesian Sketch Learning for Program Synthesis. CoRR (2017)
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
Finding Likely Errors with Bayesian Specifications. CoRR (2017)
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
Data-Driven Program Completion. CoRR (2017)
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
Neural Attribute Machines for Program Generation. CoRR (2017)
Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports 7 (3) (2017)
Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
Task and Motion Policy Synthesis as Liveness Games. ICAPS (2016)
Neil T. Dantam, Zachary K. Kingston, Swarat Chaudhuri, Lydia E. Kavraki
Incremental Task and Motion Planning: A Constraint-Based Approach. Robotics: Science and Systems (2016)
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR (2016)
Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri
Synthesizing transformations on hierarchically structured data. PLDI (2016)
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. VMCAI (2016)
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
Recursive Games for Compositional Program Synthesis. VSTTE (2015)
John K. Feser, Swarat Chaudhuri, Isil Dillig
Synthesizing data structure transformations from input-output examples. PLDI (2015)

Swarat Chaudhuri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Swarat Chaudhuri