Follow
Swarat Chaudhuri
Swarat Chaudhuri
Professor of Computer Science, UT Austin; Visiting Researcher, Google Deepmind
Verified email at cs.utexas.edu - Homepage
Title
Cited by
Cited by
Year
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata
A Miltner, Z Wang, S Chaudhuri, I Dillig
International Conference on Computer Aided Verification, 41-63, 2024
2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
G Tsoukalas, J Lee, J Jennings, J Xin, M Ding, M Jennings, A Thakur, ...
arXiv preprint arXiv:2407.11214, 2024
2024
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
A Jain, S Chaudhuri, T Reps, C Jermaine
arXiv preprint arXiv:2405.15282, 2024
2024
CFLOBDDs: Context-free-language ordered binary decision diagrams
MA Sistla, S Chaudhuri, T Reps
ACM Transactions on Programming Languages and Systems 46 (2), 1-82, 2024
92024
Deep Policy Optimization with Temporal Logic Constraints
A Shah, C Voloshin, C Yang, A Verma, S Chaudhuri, SA Seshia
arXiv preprint arXiv:2404.11578, 2024
12024
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
C Yang, G Anderson, S Chaudhuri
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 233-251, 2024
2024
Grounding Data Science Code Generation with Input-Output Specifications
Y Wen, P Yin, K Shi, H Michalewski, S Chaudhuri, A Polozov
arXiv preprint arXiv:2402.08073, 2024
3*2024
Online Cascade Learning for Efficient Inference over Streams
L Nie, Z Ding, E Hu, C Jermaine, S Chaudhuri
International Conference on Machine Learning (ICML), 2024, 2024
2024
Programming Languages and Systems
S Giallorenzo, F Montesi, M Peressotti, J Haas, R Mogk, E Yanakieva, ...
ACM Transactions on 46 (1), 2024
2024
Neurosymbolic Grounding for Compositional Generalization
A Sehgal, A Grayeli, JJ Sun, S Chaudhuri
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
1*2024
Batched Low-Rank Adaptation of Foundation Models
Y Wen, S Chaudhuri
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
62024
Musr: Testing the limits of chain-of-thought with multistep soft reasoning
Z Sprague, X Ye, K Bostrom, S Chaudhuri, G Durrett
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
42024
A Probabilistic Framework for Modular Continual Learning
L Valkov, A Srivastava, S Chaudhuri, C Sutton
The Twelfth International Conference on Learning Representations (ICLR), 2024, 2024
2024
On a Foundation Model for Operating Systems
D Saxena, N Sharma, D Kim, R Dwivedula, J Chen, C Yang, S Ravula, ...
arXiv preprint arXiv:2312.07813, 2023
12023
A language-agent approach to formal theorem-proving
A Thakur, Y Wen, S Chaudhuri
arXiv preprint arXiv:2310.04353, 2023
102023
Learning Reward Machines through Preference Queries over Sequences
E Hsiung, J Biswas, S Chaudhuri
arXiv preprint arXiv:2308.09301, 2023
2023
Symbolic quantum simulation with quasimodo
M Sistla, S Chaudhuri, T Reps
International Conference on Computer Aided Verification, 213-225, 2023
72023
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
KY Rozier, S Chaudhuri
Springer Nature, 2023
2023
Deductive Additivity for Planning of Natural Language Proofs
Z Sprague, K Bostrom, S Chaudhuri, G Durrett
Proceedings of the 1st Workshop on Natural Language Reasoning and Structured …, 2023
22023
Coarse-Tuning Models of Code with Reinforcement Learning Feedback
A Jain, C Adiole, S Chaudhuri, T Reps, C Jermaine
arXiv preprint arXiv:2305.18341, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20