Gabriel Poesia

Orcid: 0009-0003-7058-8428

According to our database¹, Gabriel Poesia authored at least 34 papers between 2014 and 2026.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Learning to Rank the Initial Branching Order of SAT Solvers.

[BibT_eX]

[DOI]

Arvid Eriksson

Gabriel Poesia

Roman Bresson

Karl Henrik Johansson

David Broman

CoRR, March, 2026

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification.

[BibT_eX]

[DOI]

Commun. ACM, March, 2026

The Token Games: Evaluating Language Model Reasoning with Puzzle Duels.

[BibT_eX]

[DOI]

Simon Henniger

Gabriel Poesia

CoRR, February, 2026

2025

A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models.

[BibT_eX]

[DOI]

CoRR, November, 2025

Code-enabled language models can outperform reasoning models on diverse tasks.

[BibT_eX]

[DOI]

CoRR, October, 2025

Programmatic Representation Learning with Language Models.

[BibT_eX]

[DOI]

Gabriel Poesia

Georgia Gabriela Sampaio

CoRR, October, 2025

ProofCompass: Enhancing Specialized Provers with LLM Guidance.

[BibT_eX]

[DOI]

Nicolas Wischermann

Claudio Mayrink Verdun

Gabriel Poesia

Francesco Noseda

CoRR, July, 2025

Automated Discovery of Tactic Libraries for Interactive Theorem Proving.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

Position: Formal Mathematical Reasoning - A New Frontier in AI.

[BibT_eX]

[DOI]

Proceedings of the Forty-second International Conference on Machine Learning, 2025

h4rm3l: A Language for Composable Jailbreak Attack Synthesis.

[BibT_eX]

[DOI]

Moussa Koulako Bala Doumbouya

Christopher D. Manning

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Certified Deductive Reasoning with Language Models.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2024

Formal Mathematical Reasoning: A New Frontier in AI.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

Gabriel Poesia

Chloe Loughridge

Nada Amin

CoRR, 2024

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

[BibT_eX]

[DOI]

Moussa Koulako Bala Doumbouya

Christopher D. Manning

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

Learning Formal Mathematics From Intrinsic Motivation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Certified Reasoning with Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2022

Peano: Learning Formal Mathematical Reasoning.

[BibT_eX]

[DOI]

Gabriel Poesia

Noah D. Goodman

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

Left to the Reader: Abstracting Solutions in Mathematical Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Pragmatic Code Autocomplete.

[BibT_eX]

[DOI]

Gabriel Poesia

Noah D. Goodman

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

2020

Dynamic dispatch of context-sensitive optimizations.

[BibT_eX]

[DOI]

Gabriel Poesia

Fernando Magno Quintão Pereira

Proc. ACM Program. Lang., 2020

2017

Static placement of computation on heterogeneous devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gabriel Poesia

Loïc Cerf

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

Gabriel Poesia

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...