Poesia, Gabriel

14 publications

ICLR 2025 H4rm3l: A Language for Composable Jailbreak Attack Synthesis Moussa Koulako Bala Doumbouya, Ananjan Nandi, Gabriel Poesia, Davide Ghilardi, Anna Goldie, Federico Bianchi, Dan Jurafsky, Christopher D Manning

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

TMLR 2024 Certified Deductive Reasoning with Language Models Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, Noah Goodman

ICLR 2024 Hypothesis Search: Inductive Reasoning with Language Models Ruocheng Wang, Eric Zelikman, Gabriel Poesia, Yewen Pu, Nick Haber, Noah Goodman

NeurIPS 2024 Learning Formal Mathematics from Intrinsic Motivation Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman

NeurIPSW 2024 MathCAMPS: Fine-Grained Synthesis of Mathematical Problems from Human Curricula Shubhra Mishra, Gabriel Poesia, Belinda Mo, Noah Goodman

ICML 2024 When Do Skills Help Reinforcement Learning? a Theoretical Analysis of Temporal Abstractions Zhening Li, Gabriel Poesia, Armando Solar-Lezama

NeurIPSW 2023 Can Visual Scratchpads with Diagrammatic Abstractions Augment LLM Reasoning? Joy Hsu, Gabriel Poesia, Jiajun Wu, Noah Goodman

NeurIPS 2023 Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions Eric Zelikman, Qian Huang, Gabriel Poesia, Noah Goodman, Nick Haber

NeurIPSW 2023 Solving Math Word Problems by Combining Language Models with Symbolic Solvers Joy He-Yueya, Gabriel Poesia, Rose Wang, Noah Goodman

ICLR 2022 Synchromesh: Reliable Code Generation from Pre-Trained Language Models Gabriel Poesia, Alex Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

NeurIPS 2021 Contrastive Reinforcement Learning of Symbolic Reasoning Domains Gabriel Poesia, WenXin Dong, Noah Goodman

AAAI 2021 Pragmatic Code Autocomplete Gabriel Poesia, Noah D. Goodman

ECML-PKDD 2014 A Lossless Data Reduction for Mining Constrained Patterns in N-Ary Relations Gabriel Poesia, Loïc Cerf