Litcius/Paper detail

Reasoning Like Program Executors

Xinyu Pi, Qian Liu, Bei Chen, Morteza Ziyadi, Zeqi Lin, Qiang Fu, Yan Gao, Jian–Guang Lou, Weizhu Chen

202232 citationsDOIOpen Access PDF

Abstract

Reasoning over natural language is a long-standing goal for the research community. However, studies have shown that existing language models are inadequate in reasoning. To address the issue, we present POET, a novel reasoning pre-training paradigm. Through pre-training language models with programs and their execution results, POET empowers language models to harvest the reasoning knowledge possessed by program executors via a data-driven approach. POET is conceptually simple and can be instantiated by different kinds of program executors. In this paper, we showcase two simple instances POET-Math and POET-Logic, in addition to a complex instance, POET-SQL. Experimental results on six benchmarks demonstrate that POET can significantly boost model performance in natural language reasoning, such as numerical reasoning, logical reasoning, and multi-hop reasoning. POET opens a new gate on reasoning-enhancement pre-training, and we hope our analysis would shed light on the future research of reasoning like program executors.

Topics & Concepts

Computer scienceDeductive reasoningLogical reasoningReasoning systemOpportunistic reasoningVerbal reasoningNatural languageModel-based reasoningAutomated reasoningSimple (philosophy)Artificial intelligenceProgramming languageNatural language processingKnowledge representation and reasoningCognitionEpistemologyPsychologyNeurosciencePhilosophySoftware Engineering ResearchTopic ModelingAdversarial Robustness in Machine Learning