Swarat Chaudhuri
30 papers · 2016–2025 · 9 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (9) π Conference Polyglot (9) π Interdisciplinary Bridge π§ Keyword Pioneer π Cross-Pollinator (13)
π
Renaissance Researcher
(9)
π
Conference Polyglot
(9)
π
Academic Marathon
(9)
π
Triple Crown
π§¬
Topic Evolution
π
Century Club
(30)
π
Trend Setter
β‘
Prolific Year
(9)
π
Conference Pioneer
ποΈ
Keyword Collector
(111)
π₯
Unstoppable
(8)
Conferences
NIPS (10)
ICLR (8)
ICML (4)
EMNLP (3)
ACL (1)
CVPR (1)
ICCV (1)
RSS (1)
WACV (1)
Top co-authors
Keywords
program synthesis
(5)
reinforcement learning
(4)
deductive reasoning
(4)
few-shot learning
(3)
natural language inference
(3)
continuous control
(2)
natural language deduction
(2)
text generation
(2)
zero-shot learning
(2)
neural network
(2)
concept learning
(2)
foundation model
(2)
concept library
(2)
transfer learning
(2)
logical reasoning
(1)
automated planning
(1)
imitation learning
(1)
policy gradient
(1)
embedding space
(1)
image classification
(1)
Papers
Position: Formal Mathematical ReasoningβA New Frontier in AI
ICML 2025
Self-Evolving Visual Concept Library using Vision-Language Critics
CVPR 2025
Online Cascade Learning for Efficient Inference over Streams
ICML 2024
Batched Low-Rank Adaptation of Foundation Models
ICLR 2024
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
ICLR 2024
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
NIPS 2024
Symbolic Regression with a Learned Concept Library
NIPS 2024
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
NIPS 2024
Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
NIPS 2024
Neurosymbolic Grounding for Compositional World Models
ICLR 2024
A Probabilistic Framework for Modular Continual Learning
ICLR 2024
Guiding Safe Exploration with Weakest Preconditions
ICLR 2023
Deductive Additivity for Planning of Natural Language Proofs
ACL 2023
Meta-Meta Classification for One-Shot Learning
WACV 2022
Natural Language Deduction through Search over Statement Compositions
EMNLP 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
ICLR 2022
Natural Language Deduction with Incomplete Information
EMNLP 2022
Policy Optimization with Linear Temporal Logic Constraints
NIPS 2022
Few-Shot Image Classification: Just Use a Library of Pre-Trained Feature Extractors and a Simple Classifier
ICCV 2021
Neural Program Generation Modulo Static Analysis
NIPS 2021
Flexible Generation of Natural Language Deductions
EMNLP 2021
Neurosymbolic Reinforcement Learning with Formally Verified Exploration
NIPS 2020
Learning Differentiable Programs with Admissible Neural Heuristics
NIPS 2020
Imitation-Projected Programmatic Reinforcement Learning
NIPS 2019
Control Regularization for Reduced Variance Reinforcement Learning
ICML 2019
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks
ICLR 2019
HOUDINI: Lifelong Learning as Program Synthesis
NIPS 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