66 citations · 71 across the 4 of their papers we have counts for
4 papers
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
Zhening Li, Gabriel Poesia, Omar Costilla-Reyes +2
Humans tame the complexity of mathematical reasoning by developing hierarchies of abstractions. With proper abstractions, solutions to hard problems can be expressed concisely, thu…
Synchromesh: Reliable code generation from pre-trained language models
Gabriel Poesia, Oleksandr Polozov, Vu Le +4
Large pre-trained language models have been used to generate code,providing a flexible interface for synthesizing programs from natural language specifications. However, they often…
Open-domain clarification question generation without question examples
Julia White, Gabriel Poesia, Robert Hawkins +2
An overarching goal of natural language processing is to enable machines to communicate seamlessly with humans. However, natural language can be ambiguous or unclear. In cases of u…
Contrastive Reinforcement Learning of Symbolic Reasoning Domains
Gabriel Poesia, WenXin Dong, Noah Goodman
Abstract symbolic reasoning, as required in domains such as mathematics and logic, is a key component of human intelligence. Solvers for these domains have important applications,…