Gabriel Poesia
Assistant Professor, EECS- Computer Science and Engineering
Studies neuro-symbolic AI for formal reasoning, combining language models and reinforcement learning for mathematical discovery and open-ended learning.
Gabriel Poesia's lab at Michigan works on reasoning & neuro-symbolic AI, reinforcement learning and large language models. 15 papers since 2023, 8 at top venues, mostly NeurIPS and ICLR. Applications close .
At a glance
- papers, 2023–2026
- 4/ year
- at T1 venues
- 53%
- PhD students
- —
- MS students
- —
- alumni listed
- —
Papers by yearfrom the lab homepage, 2023–2026
- 3 papers2026 · T1 1 · collecting
- 6 papers2025 · T1 2
- 4 papers2024 · T1 4
- 2 papers2023 · T1 1
T1 venuesOtherVenues: NeurIPS, ICLR, ICML, TMLR
Research focuspaper titles that use each topic's words
- Large language models8 papers
- Reasoning & neuro-symbolic AI7 papers
- Reinforcement learning4 papers
- mathematical3 papers
- neuro-symbolic0 papers
Paper list
From the lab homepage.
20263 papers
- NeurIPS (T1)A Matter of Interest: Understanding Interestingness Judgments of Math Problems in Humans and Language Models
- NeurIPS VeriCodeGen WorkshopFormal Disco: Scalable Open-Ended Generation of Formally Verified Programs
- CACMFormal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
20256 papers
- NeurIPS MATH-AI WorkshopA Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models
- OOPSLAAutomated Discovery of Tactic Libraries for Interactive Theorem Proving
- POPL Dafny Workshopdafny-annotator: AI-Assisted Verification of Dafny Programs
- COLMFrom Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
- ICLR (T1)h4rm3l: A Language for Composable Jailbreak Attack Synthesis
- ICML (T1)Position: Formal Mathematical Reasoning - A New Frontier in AI
20244 papers
- TMLR (T1)Certified Deductive Reasoning with Language Models
- ICLR (T1)Hypothesis Search: Inductive Reasoning with Language Models
- NeurIPS (T1)Learning Formal Mathematics From Intrinsic Motivation
- ICML (T1)When do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
20232 papers
- NeurIPS (T1)Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions
- Phil. Trans. of the Royal Society APeano: Learning Formal Mathematical Reasoning
Where alumni went
Alumni are not listed on the lab homepage.
Apply to MichiganFall 2027
Michigan CSE Computer Science PhD
- Round
- Single round
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CHEPFL
Pascal Frossard
- Trustworthy & safe ML
- USUIUC
Bo Li
- Trustworthy & safe ML
- CNSJTU
Wenrui Dai
- Learning theory & optimization
- USCMU
Hoda Heidari
- Trustworthy & safe ML
- SGNUS
Vincent Y. F. Tan
- Learning theory & optimization
- USMichigan
Samet Oymak
- Learning theory & optimization
Your notes
Save this lab to keep notes.
Data
Some numbers could not be verified:
- The member list could not be found on the lab site.
- The alumni list could not be found on the lab site.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Not collected
- Alumni
- Not collected
Tiers are venue classifications, not lab rankings.
Michigancloses