Swarat Chaudhuri
Professor
Combines formal methods and machine learning, building neurosymbolic program synthesis, automated reasoning and trustworthy learning systems.
Swarat Chaudhuri's lab at UT Austin works on reasoning & neuro-symbolic AI, trustworthy & safe ML and compilers & programming languages. 30 papers since 2023, 16 at top venues, mostly ICLR and NeurIPS. 9 PhD students. 9 alumni, most often to Meta and Google. Applications close .
At a glance
- papers, 2023–2026
- 8/ year
- at T1 venues
- 53%
- PhD students
- 9
- MS students
- 0
- alumni listed
- 9
Papers by yearfrom the lab homepage, 2023–2026
- 3 papers2026 · T1 2 · collecting
- 9 papers2025 · T1 4
- 14 papers2024 · T1 9
- 4 papers2023 · T1 1
T1 venuesOtherVenues: ICLR, NeurIPS, CVPR, EuroSys, ICML
Research focuspaper titles that use each topic's words
- Reasoning & neuro-symbolic AI6 papers
- neurosymbolic2 papers
- Trustworthy & safe ML1 paper
- Compilers & programming languages0 papers
- combines formal0 papers
Paper list
From the lab homepage.
20263 papers
- AAMAS Blue Sky TrackBidirectional Value Alignment
- EuroSys (T1)Canopy: Property-Driven Learning for Congestion Control (opens in a new tab)
- ICLR (T1)Lean finder: Semantic search for mathlib that understands user intents (opens in a new tab)
20259 papers
- CAVAutomata Learning from Preference and Equivalence Queries (opens in a new tab)
- NeurIPS (T1)CLEVER: A Curated Benchmark for Formally Verified Code Generation (opens in a new tab)
- International Conference on Machine Learning (ICML), Position Paper TrackFormal mathematical reasoning: A new frontier in AI (opens in a new tab)
- NeurIPS (T1)Learning Interestingness in Automated Mathematical Theory Formation
- TMLR (T1)LTL-Constrained Policy Optimization with Cycle Experience Replay (opens in a new tab)
- HotNetsMan-Made Heuristics Are Dead. Long Live Code Generators! (opens in a new tab)
- Handbook on Neurosymbolic AI and Knowledge GraphsNeurosymbolic Program Synthesis (opens in a new tab)
- COLMResource-Efficient Inference with Foundation Model Programs (opens in a new tab)
- CVPR (T1)Self-Evolving Visual Concept Library using Vision-Language Critics (opens in a new tab)
202414 papers
- ICLR (T1)A Probabilistic Framework for Modular Continual Learning (opens in a new tab)
- COLMAn In-Context Learning Agent for Formal Theorem Proving (opens in a new tab)
- ICLR (T1)Batched Low-Rank Adaptation of Foundation Models (opens in a new tab)
- SatMLCertifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation (opens in a new tab)
- ACM Transactions on Programming Languages and Systems (TOPLAS), . Journal- presentation at PLDICFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams (opens in a new tab)
- ICLR (T1)MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning (opens in a new tab)
- ICLR (T1)Neurosymbolic Grounding for Compositional World Models (opens in a new tab)
- ICML (T1)Online Cascade Learning for Efficient Inference over Streams (opens in a new tab)
- NeurIPS (T1)Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation (opens in a new tab)
- NeurIPS (T1)PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition (opens in a new tab)
- CAVRelational Synthesis of Recursive Programs via Constrained Tree Automata
- NeurIPS (T1)Symbolic Regression with a Learned Concept Library (opens in a new tab)
20234 papers
- NLRSEDeductive Additivity for Planning of Natural Language Proofs (opens in a new tab)
- ICLR (T1)Guiding Safe Exploration with Weakest Preconditions (opens in a new tab)
- Machine Learning for Systems Workshop at NeurIPS ConferenceOn a Foundation Model for Operating Systems (opens in a new tab)
- CAVSymbolic Quantum Simulation with Quasimodo (opens in a new tab)
Where alumni went9 listed, 56% to industry
Industry 5Academia 4
Most often to
- Meta
Also to
- MIT
- Pennsylvania State University. [Ph.D. dissertation]
- Reed College [Ph.D. dissertation]
Apply to UT AustinFall 2027
Computer Science PhD
- Round
- Single round (Dec 15)
- Opens
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CNZhejiang
Richeng Jin
- Trustworthy & safe ML
- USNYU
Pratyusha Sharma
- Signal processing & information theory
- USMichigan
Ji Zhu
- Learning theory & optimization
- CNPeking
Tao Xie
- Trustworthy & safe ML
- DETUM
Wolfgang Utschick
- Signal processing & information theory
- USGeorgia Tech
Mark Andrew Davenport
- Learning theory & optimization
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
UT Austincloses