Search Results for author: Gabriel Poesia

Found 7 papers, 5 papers with code

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

1 code implementation16 Apr 2023 Joy He-Yueya, Gabriel Poesia, Rose E. Wang, Noah D. Goodman

Automatically generating high-quality step-by-step solutions to math word problems has many applications in education.

GSM8K Language Modelling

Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions

1 code implementation20 Dec 2022 Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber

Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical multi-step reasoning tasks like generating complex programs.

Automated Theorem Proving Code Generation +3

Peano: Learning Formal Mathematical Reasoning

1 code implementation29 Nov 2022 Gabriel Poesia, Noah D. Goodman

We explore this idea in a case study on 5 sections of beginning algebra on the Khan Academy platform.

Automated Theorem Proving Mathematical Reasoning

Synchromesh: Reliable code generation from pre-trained language models

no code implementations ICLR 2022 Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, Sumit Gulwani

Then, Synchromesh feeds the examples to a pre-trained language model and samples programs using Constrained Semantic Decoding (CSD): a general framework for constraining the output to a set of valid programs in the target language.

Code Generation Language Modelling

Contrastive Reinforcement Learning of Symbolic Reasoning Domains

1 code implementation NeurIPS 2021 Gabriel Poesia, WenXin Dong, Noah Goodman

Our results suggest new directions for reinforcement learning in symbolic domains, as well as applications to mathematics education.

reinforcement-learning Reinforcement Learning (RL)

Cannot find the paper you are looking for? You can Submit a new open access paper.