Poesia, Gabriel

Synchromesh: Reliable code generation from pre-trained language models

Poesia, G., Polozov, O., Le, V., Tiwari, A., Soares, G., Meek, C., & Gulwani, S. (2022) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 72

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

He-Yueya, J., Poesia, G., Wang, R. E., & Goodman, N. D. (2023) · arXiv

Topic ModelingMathematics, Computing, and Information Processing

Cited by 16

Parsel🐍: Algorithmic Reasoning with Language Models by Composing Decompositions

Zelikman, E., Huang, Q., Poesia, G., Goodman, N., & Haber, N. (2023) · Advances in Neural Information Processing Systems 36

Logic, Reasoning, and KnowledgeLogic, programming, and type systems

Cited by 15

Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions

Zelikman, E., Huang, Q., Poesia, G., Goodman, N. D., & Haber, N. (2022) · arXiv

Logic, Reasoning, and KnowledgeLogic, programming, and type systems

Cited by 15

Learning Formal Mathematics From Intrinsic Motivation

Poesia, G., Broman, D., Haber, N., & Goodman, N. D. (2024) · arXiv

Education, Achievement, and GiftednessMathematics Education and Teaching Techniques

Cited by 6

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

Zhang, C. E., Colas, C., Poesia, G., Tenenbaum, J. B., & Andreas, J. (2025) · arXiv

Topic ModelingNatural Language Processing Techniques

Cited by 0