1 code implementation • 16 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.
1 code implementation • 20 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.
Ranked #1 on
Code Generation
on APPS
1 code implementation • 29 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.
1 code implementation • 16 Nov 2022 • Zhening Li, Gabriel Poesia, Omar Costilla-Reyes, Noah Goodman, Armando Solar-Lezama
Humans tame the complexity of mathematical reasoning by developing hierarchies of abstractions.
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.
no code implementations • EMNLP 2021 • Julia White, Gabriel Poesia, Robert Hawkins, Dorsa Sadigh, Noah Goodman
An overarching goal of natural language processing is to enable machines to communicate seamlessly with humans.
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.