Gabriel Poesia

10 papers · 2021–2025 · 5 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (5) 🐝 Cross-Pollinator (14) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🗺️ Taxonomy Completionist (21) 🌈 Renaissance Researcher (6) 🏆 Grand Slam 👑 Triple Crown 🔥 Unstoppable (5) ❓ The Questioner 💎 Century Club (10)

Conferences

ICLR (3) NIPS (3) ICML (2) AAAI (1) EMNLP (1)

Top co-authors

Noah Goodman (5) Nick Haber (3) Eric Zelikman (2) WenXin Dong (1) Qian Huang (1) Ashish Tiwari (1) David Broman (1) Kristin E. Lauter (1) Wenda Li (1) Davide Ghilardi (1)

Keywords

reinforcement learning (2) natural language processing (1) symbolic reasoning (1) code completion (1) visual question answering (1) theorem proving (1) self-supervised learning (1) contextual reasoning (1) visual grounding (1) program synthesis (1) question generation (1) mutual information (1) intrinsic motivation (1) pragmatic reasoning (1) hierarchical decomposition (1) information gain (1) language model (1) algorithmic reasoning (1) formal mathematics (1) proof search (1)

Papers

Position: Formal Mathematical Reasoning—A New Frontier in AI ICML 2025

h4rm3l: A Language for Composable Jailbreak Attack Synthesis ICLR 2025

Hypothesis Search: Inductive Reasoning with Language Models ICLR 2024

Learning Formal Mathematics From Intrinsic Motivation NIPS 2024

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions ICML 2024

Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions NIPS 2023

Synchromesh: Reliable Code Generation from Pre-trained Language Models ICLR 2022

Contrastive Reinforcement Learning of Symbolic Reasoning Domains NIPS 2021

Open-domain clarification question generation without question examples EMNLP 2021

Pragmatic Code Autocomplete AAAI 2021