Gabriel Poesia

According to our database, Gabriel Poesia authored at least 24 papers between 2014 and 2024.

Collaborative distances:

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

2024

Certified Deductive Reasoning with Language Models.

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

Trans. Mach. Learn. Res., 2024

Formal Mathematical Reasoning: A New Frontier in AI.

Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin Lauter, Swarat Chaudhuri, Dawn Song

CoRR, 2024

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning.

Simon Frieder, Jonas Bayer, Katherine M. Collins, Julius Berner, Jacob Loader, András Juhász, Fabian Ruehle, Sean Welleck, Gabriel Poesia, Ryan-Rhys Griffiths, Adrian Weller, Anirudh Goyal, Thomas Lukasiewicz, Timothy Gowers

CoRR, 2024

dafny-annotator: AI-Assisted Verification of Dafny Programs.

Gabriel Poesia, Chloe Loughridge, Nada Amin

CoRR, 2024

h4rm3l: A Dynamic Benchmark of Composable Jailbreak Attacks for LLM Safety Assessment.

Moussa Koulako Bala Doumbouya, Ananjan Nandi, Gabriel Poesia, Davide Ghilardi, Anna Goldie, Federico Bianchi, Dan Jurafsky, Christopher D. Manning

CoRR, 2024

MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula.

Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah D. Goodman

CoRR, 2024

Learning Formal Mathematics From Intrinsic Motivation.

Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman

CoRR, 2024

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

Zhening Li, Gabriel Poesia, Armando Solar-Lezama

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Hypothesis Search: Inductive Reasoning with Language Models.

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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

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

Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning?

Joy Hsu, Gabriel Poesia, Jiajun Wu, Noah D. Goodman

Proceedings of the Proceedings on "I Can't Believe It's Not Better: Failure Modes in the Age of Foundation Models" at NeurIPS 2023 Workshops, 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

Left to the Reader: Abstracting Solutions in Mathematical Reasoning.

Gabriel Poesia Reis e Silva, Noah D. Goodman

Proceedings of the 44th Annual Meeting of the Cognitive Science Society, 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