Gabriel Poesia

According to our database, Gabriel Poesia authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Hypothesis Search: Inductive Reasoning with Language Models.

Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu, Nick Haber, Noah D. Goodman

CoRR, 2023

Certified Reasoning with Language Models.

Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, Noah D. Goodman

CoRR, 2023

Solving Math Word Problems by Combining Language Models With Symbolic Solvers.

Joy He-Yueya, Gabriel Poesia, Rose E. Wang, Noah D. Goodman

CoRR, 2023

Parsel🦆: Algorithmic Reasoning with Language Models by Composing Decompositions.

Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Parsel: A Unified Natural Language Framework for Algorithmic Reasoning.

Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber

CoRR, 2022

Peano: Learning Formal Mathematical Reasoning.

Gabriel Poesia, Noah D. Goodman

CoRR, 2022

LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions.

Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah D. Goodman, Armando Solar-Lezama

CoRR, 2022

Synchromesh: Reliable Code Generation from Pre-trained Language Models.

Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Contrastive Reinforcement Learning of Symbolic Reasoning Domains.

Gabriel Poesia, Wenxin Dong, Noah D. Goodman

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Open-domain clarification question generation without question examples.

Julia White, Gabriel Poesia, Robert X. D. Hawkins, Dorsa Sadigh, Noah D. Goodman

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Pragmatic Code Autocomplete.

Gabriel Poesia, Noah D. Goodman

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Dynamic dispatch of context-sensitive optimizations.

Gabriel Poesia, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2020

2017

Static placement of computation on heterogeneous devices.

Gabriel Poesia, Breno Campos Ferreira Guimarães, Fabricio Ferracioli, Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2017

2014

A Lossless Data Reduction for Mining Constrained Patterns in n-ary Relations.

Gabriel Poesia, Loïc Cerf

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014