Swarat Chaudhuri
30 papers · 2016–2025 · 9 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (69) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Keyword Trendsetter Combo
(4)
π
Triple Crown
π§¬
Topic Evolution
π
Keyword Champion
(4)
π§
Keyword Pioneer
π
Trend Setter
π₯
Unstoppable Β· Bronze
β‘
Prolific Year Β· Productive
ποΈ
Keyword Collector
(150)
π
Renaissance Researcher
(7)
π
Century Club Β· Bronze
π
Conference Pioneer
Top co-authors
Research topics
Artificial Intelligence
(24)
Core AI
(22)
Machine Learning
(17)
Deep Learning
(10)
Learning Types Β· Machine Learning
(9)
Natural Language Processing
(6)
Applications
(6)
Mathematics & Optimization
(5)
Reinforcement Learning
(5)
Core Methods
(5)
Application Areas
(4)
Architectures
(4)
Learning Paradigms
(4)
Learning Types Β· Deep Learning
(4)
Models
(4)
Keywords
reinforcement learning
(5)
program synthesis
(5)
few-shot learning
(4)
deductive reasoning
(4)
transfer learning
(3)
foundation model
(3)
natural language inference
(3)
neural network
(3)
continuous control
(3)
safe exploration
(2)
vision-language model
(2)
zero-shot learning
(2)
large language model
(2)
neuro-symbolic method
(2)
concept learning
(2)
imitation learning
(2)
probabilistic modeling
(2)
text generation
(2)
formal verification
(2)
low-rank adaptation
(2)
Papers
Position: Formal Mathematical ReasoningβA New Frontier in AI
ICML 2025
Self-Evolving Visual Concept Library using Vision-Language Critics
CVPR 2025
A Probabilistic Framework for Modular Continual Learning
ICLR 2024
Batched Low-Rank Adaptation of Foundation Models
ICLR 2024
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
ICLR 2024
Neurosymbolic Grounding for Compositional World Models
ICLR 2024
Online Cascade Learning for Efficient Inference over Streams
ICML 2024
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
NeurIPS 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
NeurIPS 2024
Symbolic Regression with a Learned Concept Library
NeurIPS 2024
Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
NeurIPS 2024
Deductive Additivity for Planning of Natural Language Proofs
ACL 2023
Guiding Safe Exploration with Weakest Preconditions
ICLR 2023
Meta-Meta Classification for One-Shot Learning
WACV 2022
Natural Language Deduction through Search over Statement Compositions
EMNLP 2022
Natural Language Deduction with Incomplete Information
EMNLP 2022
Policy Optimization with Linear Temporal Logic Constraints
NeurIPS 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
ICLR 2022
Few-Shot Image Classification: Just Use a Library of Pre-Trained Feature Extractors and a Simple Classifier
ICCV 2021
Flexible Generation of Natural Language Deductions
EMNLP 2021
Neural Program Generation Modulo Static Analysis
NeurIPS 2021
Learning Differentiable Programs with Admissible Neural Heuristics
NeurIPS 2020
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NeurIPS 2020
Control Regularization for Reduced Variance Reinforcement Learning
ICML 2019
Imitation-Projected Programmatic Reinforcement Learning
NeurIPS 2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
ICLR 2019
HOUDINI: Lifelong Learning as Program Synthesis
NeurIPS 2018
Neural Sketch Learning for Conditional Program Generation
ICLR 2018
Programmatically Interpretable Reinforcement Learning
ICML 2018
Incremental Task and Motion Planning: A Constraint-Based Approach
RSS 2016