research
∙
09/11/2023
Hypothesis Search: Inductive Reasoning with Language Models
Inductive reasoning is a core problem-solving capacity: humans can ident...
share
research
∙
06/06/2023
Certified Reasoning with Language Models
Language models often achieve higher accuracy when reasoning step-by-ste...
research
∙
04/16/2023
Solving Math Word Problems by Combining Language Models With Symbolic Solvers
Automatically generating high-quality step-by-step solutions to math wor...
research
∙
12/20/2022
Parsel: A Unified Natural Language Framework for Algorithmic Reasoning
Despite recent success in large language model (LLM) reasoning, LLMs sti...
research
∙
11/29/2022
Peano: Learning Formal Mathematical Reasoning
General mathematical reasoning is computationally undecidable, but human...
research
∙
11/16/2022
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
Humans tame the complexity of mathematical reasoning by developing hiera...
research
∙
01/26/2022
Synchromesh: Reliable code generation from pre-trained language models
Large pre-trained language models have been used to generate code,provid...
research
∙
10/19/2021
Open-domain clarification question generation without question examples
An overarching goal of natural language processing is to enable machines...
research
∙
06/16/2021