Gabriel Poesia
10 papers · 2021–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Cross-Pollinator (14) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Renaissance Researcher (6)
π
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
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