MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms (N19-1)
Copied to clipboard
| Challenge: | Existing datasets in this domain do not offer precise operational annotations over diverse problem types due to noise and lack of formal operation-based representations. |
| Approach: | They propose a representation language to map problems to their operation programs . they also introduce an interpretable neural math problem solver . |
| Outcome: | The proposed model outperforms baseline models and the AQUA-RAT dataset on the AQuA-rat dataset. |
Similar Papers
Mapping probability word problems to executable representations (2021.emnlp-main)
Copied to clipboard
Simon Suster, Pieter Fivez, Pietro Totis, Angelika Kimmig, Jesse Davis, Luc de Raedt, Walter Daelemans
| Challenge: | a recent paper addresses the problem of solving math word problems automatically . a number of approaches have been proposed for solving word problems . |
| Approach: | They employ a sequence-to-sequence model to generate intermediate representations for word problems . they then use a probabilistic programming system to provide the answer . their best performing model incorporates general-domain contextualised word representations . |
| Outcome: | The proposed model is the best performing on a declarative language and a probabilistic programming system. |
Tree-structured Decoding for Solving Math Word Problems (D19-1)
Copied to clipboard
| Challenge: | Existing approaches to solve math word problems do not consider an abstract syntax tree. |
| Approach: | They propose a tree-structured decoding method that generates an abstract syntax tree of an equation in a top-down manner and can stop during decoding without a redundant stop token. |
| Outcome: | The proposed method achieves state-of-the-art performance on the largest dataset on this task. |
Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving (2021.acl-short)
Copied to clipboard
| Challenge: | Existing neural solvers only generate binary expression trees that contain basic arithmetic operators and do not explicitly use the math formulas. |
| Approach: | They propose a sequence-to-general tree that generates interpretable and executable operation trees where nodes can be formulas with an arbitrary number of arguments. |
| Outcome: | The proposed tree generates interpretable and executable operation trees with formulas with an arbitrary number of arguments. |
ArMATH: a Dataset for Solving Arabic Math Word Problems (2022.lrec-1)
Copied to clipboard
| Challenge: | This paper is the first to use deep learning methods to solve Arabic MWPs . it is also the first study to use transfer learning to solve MWp across different languages . |
| Approach: | They contribute to the first large-scale dataset for Arabic Math Word Problems . they use deep learning methods to solve Arabic MWPs and a transfer learning model to promote performance . |
| Outcome: | The proposed model improves Arabic MWP solvers by 3% over the existing model. |
Mathematical Word Problem Generation from Commonsense Knowledge Graph and Equations (2021.emnlp-main)
Copied to clipboard
| Challenge: | Existing models for generating mathematical word problems are lacking in educational assessment. |
| Approach: | They propose an end-to-end neural model to generate diverse mathematical word problems from commonsense knowledge graph and equations. |
| Outcome: | The proposed model outperforms the SOTA models in terms of evaluation metrics and topic relevance. |
Large Language Models for Mathematical Reasoning: Progresses and Challenges (2024.eacl-srw)
Copied to clipboard
| Challenge: | a survey examines the landscape of mathematical problem-solving techniques . large language models have proven to be potent assets in unraveling nuances of mathematical reasoning . |
| Approach: | They examine the evolution of Large Language Models (LLMs) for solving mathematical problems . they examine the spectrum of LLM-oriented techniques proposed for solving math problems - and their challenges . |
| Outcome: | The survey examines the spectrum of proposed LLM-oriented techniques in solving math problems. |
Math Word Problem Solving by Generating Linguistic Variants of Problem Statements (2023.acl-srw)
Copied to clipboard
Syed Rifat Raiyan, Md Nafis Faiyaz, Shah Md. Jawad Kabir, Mohsinul Kabir, Hasan Mahmud, Md Kamrul Hasan
| Challenge: | Existing models for solving Math Word Problems depend on shallow heuristics and spurious correlations to derive the solution expressions. |
| Approach: | They propose a framework for MWP solvers based on generation of linguistic variants of problem text. |
| Outcome: | The proposed framework improves the mathematical reasoning and robustness of the proposed model. |
NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks (2022.acl-long)
Copied to clipboard
Swaroop Mishra, Arindam Mitra, Neeraj Varshney, Bhavdeep Sachdeva, Peter Clark, Chitta Baral, Ashwin Kalyan
| Challenge: | Existing AI systems fail to perform basic mathematical reasoning when presented in a slightly different manner. |
| Approach: | They propose a multi-task benchmark that evaluates the performance of AI systems on eight different tasks that at their core require simple arithmetic understanding. |
| Outcome: | The proposed benchmark compares the performance of AI systems on eight different tasks. |
Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks (2021.acl-long)
Copied to clipboard
| Challenge: | Existing solutions for math word problems lack explicit integration of math symbolic constraints, leading to unexplainable and unreasonable predictions. |
| Approach: | They propose a novel mathematical model that explicitly incorporates symbolic constraints by auxiliary tasks to enforce different symbolic reasoning. |
| Outcome: | The proposed solver incorporates symbolic constraints by auxiliary tasks to enforce different symbolic reasoning. |
Interpretability Analysis of Arithmetic In-Context Learning in Large Language Models (2025.emnlp-main)
Copied to clipboard
| Challenge: | Large language models (LLMs) solve arithmetic with only a few in-context examples, yet the computations that connect those examples to the answer remain opaque. |
| Approach: | They propose to use in-context examples to illustrate how large language models process ICEs to isolate partial-sum representations in three-operand tasks and investigate their influence on final logits. |
| Outcome: | The proposed model performs better than previous models on three-operand tasks. |