Suguman Bansal
Assistant Professor
Applies formal methods to artificial intelligence, including reinforcement learning from logical specifications.
Suguman Bansal's lab at Georgia Tech works on reinforcement learning, reasoning & neuro-symbolic AI and compilers & programming languages. 10 papers since 2023, 3 at top venues, mostly ICML and IJCAI. 2 PhD students and 2 master's students. 7 alumni. Applications close .
At a glance
- papers, 2023–2026
- 3/ year
- at T1 venues
- 30%
- PhD students
- 2
- MS students
- 2
- alumni listed
- 7
Papers by yearfrom the lab homepage, 2023–2026
- 3 papers2026 · T1 1 · collecting
- 2 papers2025 · T1 0
- 2 papers2024 · T1 1
- 3 papers2023 · T1 1
T1 venuesOtherVenues: ICML, IJCAI
Research focuspaper titles that use each topic's words
- Reinforcement learning5 papers
- Reasoning & neuro-symbolic AI2 papers
- specifications2 papers
- Compilers & programming languages0 papers
- logical0 papers
Paper list
From the lab homepage.
20263 papers
20252 papers
20242 papers
20233 papers
- ACM SIGLOG NewsAutomata-Based Quantitative Reasoning (opens in a new tab)
- ATVAModel Checking Strategies from Synthesis over Finite Traces
- IJCAI (T1)Multi-Agent Systems with Quantitative Satisficing Goals (opens in a new tab)
Where alumni went7 listed
Apply to Georgia TechFall 2027
Georgia Tech Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- optional
- English
- TOEFL/IELTS
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CHETH Zurich
Peter Bühlmann
- Learning theory & optimization
- CNTsinghua
Hongning Wang
- Reinforcement learning
- GBImperial
Yingzhen Li
- Probabilistic & causal inference
- USNYU
Todd Gureckis
- Data management & big data
- USUCSD
Biwei Huang
- Probabilistic & causal inference
- SGNTU
Siu Lun Chau
- 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.
Georgia Techcloses