Gabriel Poesia
10 papers · 2021–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (26) 👑 Triple Crown
🏆
Grand Slam
💎
Century Club · Bronze
📈
Trend Setter
❓
The Questioner
🗃️
Keyword Collector
(59)
🔥
Unstoppable · Bronze
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Natural Language Processing
(6)
Machine Learning
(5)
Deep Learning
(4)
Learning Types · Deep Learning
(4)
Applications · Natural Language Processing
(3)
Generation
(3)
Learning Types · Machine Learning
(3)
Reinforcement Learning
(2)
Core Methods
(2)
Methods
(2)
Resources & Methods
(2)
Computer Science
(1)
Applications · Computer Science
(1)
Keywords
program synthesis
(3)
reinforcement learning
(2)
language model
(2)
few-shot learning
(1)
code completion
(1)
visual question answering
(1)
symbolic reasoning
(1)
self-supervised learning
(1)
inductive reasoning
(1)
contextual reasoning
(1)
code generation
(1)
visual grounding
(1)
mutual information
(1)
question generation
(1)
formal verification
(1)
theorem proving
(1)
exploration
(1)
macro-actions
(1)
temporal abstraction
(1)
natural language processing
(1)
Papers
h4rm3l: A Language for Composable Jailbreak Attack Synthesis
ICLR 2025
Position: Formal Mathematical Reasoning—A New Frontier in AI
ICML 2025
Hypothesis Search: Inductive Reasoning with Language Models
ICLR 2024
Learning Formal Mathematics From Intrinsic Motivation
NeurIPS 2024
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions
ICML 2024
Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions
NeurIPS 2023
Synchromesh: Reliable Code Generation from Pre-trained Language Models
ICLR 2022
Contrastive Reinforcement Learning of Symbolic Reasoning Domains
NeurIPS 2021
Open-domain clarification question generation without question examples
EMNLP 2021
Pragmatic Code Autocomplete
AAAI 2021