Gabriel Poesia

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Topics

Inductive Reasoning

Temporal Abstractions

Top Venues

Proc. ACM Program. Lang.

Publications

Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, Noah D. Goodman
Certified Deductive Reasoning with Language Models. Trans. Mach. Learn. Res. 2024 (2024)
Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu, Nick Haber, Noah D. Goodman
Hypothesis Search: Inductive Reasoning with Language Models. ICLR (2024)
Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman
Learning Formal Mathematics From Intrinsic Motivation. CoRR (2024)
Zhening Li, Gabriel Poesia, Armando Solar-Lezama
When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. CoRR (2024)
Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah D. Goodman
MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula. CoRR (2024)
Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber
Parsel🦆: Algorithmic Reasoning with Language Models by Composing Decompositions. NeurIPS (2023)
Joy He-Yueya, Gabriel Poesia, Rose E. Wang, Noah D. Goodman
Solving Math Word Problems by Combining Language Models With Symbolic Solvers. CoRR (2023)
Joy Hsu, Gabriel Poesia, Jiajun Wu, Noah D. Goodman
Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning? ICBINB (2023)
Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu, Nick Haber, Noah D. Goodman
Hypothesis Search: Inductive Reasoning with Language Models. CoRR (2023)
Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, Noah D. Goodman
Certified Reasoning with Language Models. CoRR (2023)
Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber
Parsel: A Unified Natural Language Framework for Algorithmic Reasoning. CoRR (2022)
Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
Synchromesh: Reliable Code Generation from Pre-trained Language Models. ICLR (2022)
Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions. CoRR (2022)
Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani
Synchromesh: Reliable code generation from pre-trained language models. CoRR (2022)
Gabriel Poesia, Noah D. Goodman
Peano: Learning Formal Mathematical Reasoning. CoRR (2022)
Gabriel Poesia, Wenxin Dong, Noah D. Goodman
Contrastive Reinforcement Learning of Symbolic Reasoning Domains. NeurIPS (2021)
Gabriel Poesia, Noah D. Goodman
Pragmatic Code Autocomplete. AAAI (2021)
Julia White, Gabriel Poesia, Robert X. D. Hawkins, Dorsa Sadigh, Noah D. Goodman
Open-domain clarification question generation without question examples. EMNLP (1) (2021)
Gabriel Poesia, Wenxin Dong, Noah D. Goodman
Contrastive Reinforcement Learning of Symbolic Reasoning Domains. CoRR (2021)
Julia White, Gabriel Poesia, Robert X. D. Hawkins, Dorsa Sadigh, Noah D. Goodman
Open-domain clarification question generation without question examples. CoRR (2021)
Gabriel Poesia, Fernando Magno Quintão Pereira
Dynamic dispatch of context-sensitive optimizations. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Gabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira
Static placement of computation on heterogeneous devices. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Gabriel Poesia, Loïc Cerf
A Lossless Data Reduction for Mining Constrained Patterns in n-ary Relations. ECML/PKDD (2) (2014)