paper-with-me

Papers

Mapping to Declarative Knowledge for Word Problem Solving

2017-12-26 · TACL 2018 1 · Subhro Roy, Dan Roth

Math word problems form a natural abstraction to a range of quantitative reasoning problems, such as understanding financial news, sports results, and casualties of war. Solving such problems requires the understanding of several mathematical concepts such as dimensional analysis, subset relationships, etc. In this paper, we develop declarative rules which govern the translation of natural language description of these concepts to math expressions. We then present a framework for incorporating such declarative knowledge into word problem solving. Our method learns to map arithmetic word problem text to math expressions, by learning to select the relevant declarative knowledge for each operation of the solution expression. This provides a way to handle multiple concepts in the same problem while, at the same time, support interpretability of the answer expression. Our method models the mapping to declarative knowledge as a latent variable, thus removing the need for expensive annotations. Experimental evaluation suggests that our domain knowledge based solver outperforms all other systems, and that it generalizes better in the realistic case where the training data it is exposed to is biased in a different way than the test data.

📄 PDF Abstract BibTeX arXiv:1712.09391

Code (1)

CogComp/arithmetic 공식 구현

Tasks

MathTranslation

Similar Papers 제목 키워드 기반

Solving Math Word Problems by Combining Language Models With Symbolic Solvers

2023-04-16 · Joy He-Yueya, Gabriel Poesia, Rose E. Wang, Noah D. Goodman

Automatically generating high-quality step-by-step solutions to math word problems has many applications in education. Recently, combining large language models (LLMs) with external tools to perform complex reasoning and…

GSM8KLanguage ModelingLanguage ModellingMath

Mapping probability word problems to executable representations

2021-11-01 · EMNLP 2021 11 · Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig 외

While solving math word problems automatically has received considerable attention in the NLP community, few works have addressed probability word problems specifically. In this paper, we employ and analyse various neura…

Contextualised Word RepresentationsMathProbabilistic ProgrammingTransfer Learning

Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP

2019-09-18 · Richard Taupe, Konstantin Schekotihin, Peter Schüller, Antonius Weinzierl 외

Domain-specific heuristics are an important technique for solving combinatorial problems efficiently. We propose a novel semantics for declarative specifications of domain-specific heuristics in Answer Set Programming (A…

Negation

Streamlining Knowledge Graph Creation with PyRML

2025-05-27 · Andrea Giovanni Nuzzolese

Knowledge Graphs (KGs) are increasingly adopted as a foundational technology for integrating heterogeneous data in domains such as climate science, cultural heritage, and the life sciences. Declarative mapping languages …

Data IntegrationKnowledge Graphs

Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning

2015-06-16 · Carl Schultz, Mehul Bhatt

Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representatio…

Spatial Reasoning