Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations

AI-generated keywords: Maieutic Prompting

AI-generated Key Points

  • Researchers propose a few-shot inference method called Maieutic Prompting
  • Inspired by the Socratic way of conversation
  • Goal: Generate correct answers to questions from noisy and inconsistent generations of pre-trained language models (LMs)
  • Achieved through generating a tree of explanations with logical relations and assigning truth values based on maximum satisfiability
  • Tested on three challenging benchmarks for true/false question-answering tasks
  • Compared performance with state-of-the-art prompting methods, Maieutic Prompting achieves up to 20% better accuracy
  • Performs competitively with supervised models despite being fully unsupervised
  • Improves robustness in inference and provides interpretable rationales
  • Provides intrinsic interpretations over its inference process
  • Empirical results and qualitative analyses support claims made by researchers
  • Generation process involves recursively prompting the LM with generated explanations to validate correctness
  • Nucleus sampling used to enhance diversity and coverage of generated explanations
Also access our AI generated: Comprehensive summary, Lay summary, Blog-like article; or ask questions about this paper to our AI assistant.

Authors: Jaehun Jung, Lianhui Qin, Sean Welleck, Faeze Brahman, Chandra Bhagavatula, Ronan Le Bras, Yejin Choi

15 pages, 10 figures
License: CC BY 4.0

Abstract: Despite their impressive capabilities, large pre-trained language models (LMs) struggle with consistent reasoning; recently, prompting LMs to generate explanations that self-guide the inference has emerged as a promising direction to amend this. However, these approaches are fundamentally bounded by the correctness of explanations, which themselves are often noisy and inconsistent. In this work, we develop Maieutic Prompting, which infers a correct answer to a question even from the noisy and inconsistent generations of LM. Maieutic Prompting induces a tree of explanations abductively (e.g. X is true, because ...) and recursively, then frames the inference as a satisfiability problem over these explanations and their logical relations. We test Maieutic Prompting for true/false QA on three challenging benchmarks that require complex commonsense reasoning. Maieutic Prompting achieves up to 20% better accuracy than state-of-the-art prompting methods, and as a fully unsupervised approach, performs competitively with supervised models. We also show that Maieutic Prompting improves robustness in inference while providing interpretable rationales.

Submitted to arXiv on 24 May. 2022

Ask questions about this paper to our AI assistant

You can also chat with multiple papers at once here.

AI assistant instructions?

Results of the summarizing process for the arXiv paper: 2205.11822v1

In this work, the researchers propose a novel few-shot inference method called Maieutic Prompting, inspired by the Socratic way of conversation. The goal is to generate correct answers to questions even from noisy and inconsistent generations of large pre-trained language models (LMs). They achieve this by systematically generating a tree of explanations that have logical relations between each other and assigning truth values to these explanations based on maximum satisfiability. The researchers test Maieutic Prompting on three challenging benchmarks that require complex commonsense reasoning for true/false question-answering tasks. They compare its performance with state-of-the-art prompting methods and find that Maieutic Prompting achieves up to 20% better accuracy. Despite being a fully unsupervised approach, it performs competitively with supervised models. Furthermore, they demonstrate that Maieutic Prompting improves robustness in inference while providing interpretable rationales. It also provides intrinsic interpretations over its inference process. The researchers provide empirical results and qualitative analyses to support their claims. They also discuss the generation process of the maieutic tree, which involves recursively prompting the LM with generated explanations to validate their correctness. They use nucleus sampling to enhance the diversity and coverage of generated explanations. Overall, this work presents a promising approach for improving reasoning capabilities in large pre-trained language models by generating correct explanations and framing inference as a satisfiability problem over these explanations and their logical relations.
Created on 19 Dec. 2023

Assess the quality of the AI-generated content by voting

Score: 0

Why do we need votes?

Votes are used to determine whether we need to re-run our summarizing tools. If the count reaches -10, our tools can be restarted.

The previous summary was created more than a year ago and can be re-run (if necessary) by clicking on the Run button below.

Similar papers summarized with our AI tools

Navigate through even more similar papers through a

tree representation

Look for similar papers (in beta version)

By clicking on the button above, our algorithm will scan all papers in our database to find the closest based on the contents of the full papers and not just on metadata. Please note that it only works for papers that we have generated summaries for and you can rerun it from time to time to get a more accurate result while our database grows.

Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.