Chaudhuri, Swarat

36 publications

NeurIPS 2025 CLEVER: A Curated Benchmark for Formally Verified Code Generation Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri

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

NeurIPS 2025 Learning Interestingness in Automated Mathematical Theory Formation George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

CVPR 2025 Self-Evolving Visual Concept Library Using Vision-Language Critics Atharva Sehgal, Patrick Yuan, Ziniu Hu, Yisong Yue, Jennifer J. Sun, Swarat Chaudhuri

ICLR 2024 A Probabilistic Framework for Modular Continual Learning Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton

ICLR 2024 Batched Low-Rank Adaptation of Foundation Models Yeming Wen, Swarat Chaudhuri

ICLR 2024 MuSR: Testing the Limits of Chain-of-Thought with Multistep Soft Reasoning Zayne Rea Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

ICLR 2024 Neurosymbolic Grounding for Compositional World Models Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri

ICML 2024 Online Cascade Learning for Efficient Inference over Streams Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher Jermaine, Swarat Chaudhuri

NeurIPS 2024 Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation Abhinav Jain, Swarat Chaudhuri, Thomas Reps, Chris Jermaine

ICMLW 2024 PutnamBench: A Multilingual Competition-Mathematics Benchmark for Formal Theorem-Proving George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

NeurIPS 2024 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri

NeurIPS 2024 Symbolic Regression with a Learned Concept Library Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles Cranmer, Swarat Chaudhuri

ICMLW 2024 Symbolic Regression with a Learned Concept Library Arya Grayeli, Atharva Sehgal, Omar Costilla Reyes, Miles Cranmer, Swarat Chaudhuri

NeurIPS 2024 Synthesize, Partition, Then Adapt: Eliciting Diverse Samples from Foundation Models Yeming Wen, Swarat Chaudhuri

NeurIPSW 2023 A Language-Agent Approach to Formal Theorem-Proving Amitayush Thakur, Yeming Wen, Swarat Chaudhuri

NeurIPSW 2023 Batched Low-Rank Adaptation of Foundation Models Yeming Wen, Swarat Chaudhuri

NeurIPSW 2023 Grounding Code Generation with Input-Output Specifications Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov

ICLR 2023 Guiding Safe Exploration with Weakest Preconditions Greg Anderson, Swarat Chaudhuri, Isil Dillig

WACV 2022 Meta-Meta Classification for One-Shot Learning Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine

NeurIPSW 2022 Neurosymbolic Programming for Science Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla Reyes

NeurIPS 2022 Policy Optimization with Linear Temporal Logic Constraints Cameron Voloshin, Hoang Le, Swarat Chaudhuri, Yisong Yue

ICLR 2022 Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang, Swarat Chaudhuri

TMLR 2022 Unsupervised Learning of Neurosymbolic Encoders Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri

ICCV 2021 Few-Shot Image Classification: Just Use a Library of Pre-Trained Feature Extractors and a Simple Classifier Arkabandhu Chowdhury, Mingchao Jiang, Swarat Chaudhuri, Chris Jermaine

NeurIPS 2021 Neural Program Generation Modulo Static Analysis Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas Reps, Swarat Chaudhuri, Christopher Jermaine

NeurIPSW 2021 Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang, Swarat Chaudhuri

NeurIPS 2020 Learning Differentiable Programs with Admissible Neural Heuristics Ameesh Shah, Eric Zhan, Jennifer Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri

NeurIPS 2020 Neurosymbolic Reinforcement Learning with Formally Verified Exploration Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri

ICML 2019 Control Regularization for Reduced Variance Reinforcement Learning Richard Cheng, Abhinav Verma, Gabor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick

NeurIPS 2019 Imitation-Projected Programmatic Reinforcement Learning Abhinav Verma, Hoang Le, Yisong Yue, Swarat Chaudhuri

ICLR 2019 Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel

NeurIPS 2018 HOUDINI: Lifelong Learning as Program Synthesis Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri

ICLR 2018 Neural Sketch Learning for Conditional Program Generation Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine

ICML 2018 Programmatically Interpretable Reinforcement Learning Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri