A Lossless Data Reduction for Mining Constrained Patterns in n-ary Relations. - Gabriel Poesia; Loïc Cerf (ECML/PKDD (2), 2014)

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)

Dynamic dispatch of context-sensitive optimizations. - Gabriel Poesia; Fernando Magno Quintão Pereira (Proc. ACM Program. Lang., 2020)

Pragmatic Code Autocomplete. - Gabriel Poesia; Noah D. Goodman (AAAI, 2021)

Open-domain clarification question generation without question examples. - Julia White 001; Gabriel Poesia; Robert X. D. Hawkins; Dorsa Sadigh; Noah D. Goodman (EMNLP (1), 2021)

Contrastive Reinforcement Learning of Symbolic Reasoning Domains. - Gabriel Poesia; Wenxin Dong; Noah D. Goodman (NeurIPS, 2021)

Left to the Reader: Abstracting Solutions in Mathematical Reasoning. - Gabriel Poesia Reis e Silva; Noah D. Goodman (CogSci, 2022)

Synchromesh: Reliable Code Generation from Pre-trained Language Models. - Gabriel Poesia; Alex Polozov; Vu Le 002; Ashish Tiwari 001; Gustavo Soares; Christopher Meek; Sumit Gulwani (ICLR, 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)

Peano: Learning Formal Mathematical Reasoning. - Gabriel Poesia; Noah D. Goodman (CoRR, 2022)

Parsel: A Unified Natural Language Framework for Algorithmic Reasoning. - Eric Zelikman; Qian Huang; Gabriel Poesia; Noah D. Goodman; Nick Haber (CoRR, 2022)

Can Visual Scratchpads With Diagrammatic Abstractions Augment LLM Reasoning? - Joy Hsu; Gabriel Poesia; Jiajun Wu 001; Noah D. Goodman (ICBINB, 2023)

Parsel🦆: Algorithmic Reasoning with Language Models by Composing Decompositions. - Eric Zelikman; Qian Huang; Gabriel Poesia; Noah D. Goodman; Nick Haber (NeurIPS, 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)

Certified Reasoning with Language Models. - Gabriel Poesia; Kanishk Gandhi; Eric Zelikman; Noah D. Goodman (CoRR, 2023)

Hypothesis Search: Inductive Reasoning with Language Models. - Ruocheng Wang; Eric Zelikman; Gabriel Poesia; Yewen Pu; Nick Haber; Noah D. Goodman (ICLR, 2024)

When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions. - Zhening Li; Gabriel Poesia; Armando Solar-Lezama (ICML, 2024)

Learning Formal Mathematics From Intrinsic Motivation. - Gabriel Poesia; David Broman; Nick Haber; Noah D. Goodman (NeurIPS, 2024)

MathCAMPS: Fine-grained Synthesis of Mathematical Problems From Human Curricula. - Shubhra Mishra; Gabriel Poesia; Belinda Mo; Noah D. Goodman (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 001; Dan Jurafsky; Christopher D. Manning (CoRR, 2024)

dafny-annotator: AI-Assisted Verification of Dafny Programs. - Gabriel Poesia; Chloe Loughridge; Nada Amin (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; et al. (CoRR, 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)

Certified Deductive Reasoning with Language Models. - Gabriel Poesia; Kanishk Gandhi; Eric Zelikman; Noah D. Goodman (Trans. Mach. Learn. Res., 2024)

h4rm3l: A Language for Composable Jailbreak Attack Synthesis. - Moussa Koulako Bala Doumbouya; Ananjan Nandi; Gabriel Poesia; Davide Ghilardi; Anna Goldie; Federico Bianchi 001; Dan Jurafsky; Christopher D. Manning (ICLR, 2025)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving. - Yutong Xin; Jimmy Xin; Gabriel Poesia; Noah D. Goodman; Qiaochu Chen; Isil Dillig (CoRR, 2025)

ProofCompass: Enhancing Specialized Provers with LLM Guidance. - Nicolas Wischermann; Claudio Mayrink Verdun; Gabriel Poesia; Francesco Noseda (CoRR, 2025)