The Impact of Symbolic Representations on In-context Learning for Few-shot Reasoning

12/16/2022
by   Hanlin Zhang, et al.
0

Pre-trained language models (LMs) have shown remarkable reasoning performance using explanations (or “chain-of-thought” (CoT)) for in-context learning. On the other hand, these reasoning tasks are usually presumed to be more approachable for symbolic programming. To make progress towards understanding in-context learning, we curate synthetic datasets containing equivalent (natural, symbolic) data pairs, where symbolic examples contain first-order logic rules and predicates from knowledge bases (KBs). Then we revisit neuro-symbolic approaches and use Language Models as Logic Programmer (LMLP) that learns from demonstrations containing logic rules and corresponding examples to iteratively reason over KBs, recovering Prolog's backward chaining algorithm. Comprehensive experiments are included to systematically compare LMLP with CoT in deductive reasoning settings, showing that LMLP enjoys more than 25 fewer parameters.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2023

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

Pre-trained large language models (LMs) struggle to perform logical reas...
research
02/01/2023

Synthetic Prompting: Generating Chain-of-Thought Demonstrations for Large Language Models

Large language models can perform various reasoning tasks by using chain...
research
04/04/2021

A Context-Dependent Gated Module for Incorporating Symbolic Semantics into Event Coreference Resolution

Event coreference resolution is an important research problem with many ...
research
05/21/2022

Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

We propose a novel prompting strategy, least-to-most prompting, that ena...
research
12/21/2022

CORRPUS: Detecting Story Inconsistencies via Codex-Bootstrapped Neurosymbolic Reasoning

Story generation and understanding – as with all NLG/NLU tasks – has see...
research
08/11/2023

Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic

We study a synthetic corpus-based approach for language models (LMs) to ...
research
03/14/2023

Neuro-symbolic Commonsense Social Reasoning

Social norms underlie all human social interactions, yet formalizing and...

Please sign up or login with your details

Forgot password? Click here to reset