Solving Arithmetic Word Problems by Synergizing Large Language Model and Scene-Aware Syntax–Semantics Method
Source abstract
Abstract
Developing Arithmetic Word Problem (AWP) -solving algorithms has recently become one of the hottest research areas because it can simultaneously advance general artificial intelligence and the application of AI technology in education. This paper presents a novel algorithm for solving AWPs by synergizing Large Language Models (LLMs) with the Scene-Aware Syntax–Semantics (S2) method. The innovation of this algorithm lies in leveraging the LLM to divide problems into multiple scenes, thereby enhancing the relation-flow approach in the processes of relation extraction and reasoning. Our algorithm consists of three components: scene decomposer, relation extractor, and symbolic solver. In the scene decomposer, we propose the Chain-Of-Scene (COS) method. It dynamically constructs prompts for the LLM using a retrieval-augmented strategy, thus enabling the chain-formed generation of scenes from the input problem. In the relation extractor, we introduce the Scene-Aware S2 method, which utilizes syntax–semantics models to match the text within each scene and convert it into relations. This allows for the efficient and accurate extraction of explicit and implicit relations. Finally, a symbolic solver is employed to reason through the set of relations to derive the solution. Experimental results on six authoritative datasets demonstrate that the proposed algorithm achieves an average solving accuracy of 90.4%, outperforming the State-Of-The-Art (SOTA) algorithm by 1.1%. The case study further illustrates that it outputs more reliable solutions than baseline algorithms. These findings have significant implications for promoting smart education and developing personalized intelligent tutoring systems.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Multimodal Machine Learning Applications · Topic Modeling · Natural Language Processing Techniques
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
Faculty of Artificial Intelligence in Education, Central China Normal University, Wuhan 430079, China
Central China Normal University Wollongong Joint Institute, Central China Normal University, Wuhan 430079, China
Funding
National Natural Science Foundation of China · China Postdoctoral Science Foundation
References (39)
Show source-provided references
1. The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers10.1109/TPAMI.2019.2914054 ↗
2. Bobrow, D.G. (1964). Natural Language Input for a Computer Problem Solving System, Massachusetts Institute of Technology.
3. Understanding and solving word arithmetic problems10.1037/0033-295X.92.1.109 ↗
4. Achiam, J., Adler, S., Agarwal, S., Ahmad, L., Akkaya, I., Aleman, F.L., Almeida, D., Altenschmidt, J., Altman, S., and Anadkat, S. (2023). GPT-4 Technical Report. arXiv.
5. Language models are few-shot learners
6. Chain-of-thought prompting elicits reasoning in large language models
7. Zhou, A., Wang, K., Lu, Z., Shi, W., Luo, S., Qin, Z., Lu, S., Jia, A., Song, L., and Zhan, M. (2024, January 7–11). Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification. Proceedings of the Twelfth International Conference on Learning Representations, ICLR, Vienna, Austria.
8. Lu, Y., Pian, Y., Chen, P., Meng, Q., and Cao, Y. (2021, January 19–21). RadarMath: An Intelligent Tutoring System for Math Education. Proceedings of the AAAI Conference on Artificial Intelligence, Virtual.10.1609/aaai.v35i18.18020 ↗
9. Intelligent Tutoring Systems: A Systematic Review Of Characteristics, Applications, And Evaluation Methods10.1080/10494820.2018.1558257 ↗
10. Training language models to follow instructions with human feedback
11. Zong, M., and Krishnamachari, B. (2023, January 7–14). Solving math word problems concerning systems of equations with gpt-3. Proceedings of the AAAI Conference on Artificial Intelligence, Washington, DC, USA.10.1016/j.mlwa.2023.100506 ↗
12. Solving math word problems concerning systems of equations with GPT models
13. Wang, X., Wei, J., Schuurmans, D., Le, Q.V., Chi, E.H., Narang, S., Chowdhery, A., and Zhou, D. (2023, January 1–5). Self-Consistency Improves Chain of Thought Reasoning in Language Models. Proceedings of the Eleventh International Conference on Learning Representations, ICLR, Kigali, Rwanda.
14. Liu, T., Guo, Q., Yang, Y., Hu, X., Zhang, Y., Qiu, X., and Zhang, Z. (2023, January 6–10). Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP), Singapore.10.18653/v1/2023.emnlp-main.169 ↗
15. Huang, J., Chen, X., Mishra, S., Zheng, H.S., Yu, A.W., Song, X., and Zhou, D. (2024, January 7–11). Large Language Models Cannot Self-Correct Reasoning Yet. Proceedings of the Twelfth International Conference on Learning Representations, ICLR, Vienna, Austria.
16. Solving Algebraic Problems with Geometry Diagrams Using Syntax-Semantics Diagram Understanding
17. Solving arithmetic word problems by synergizing syntax-semantics extractor for explicit relations and neural network miner for implicit relations10.1007/s40747-022-00828-0 ↗
18. A relation-centric algorithm for solving text-diagram function problems
19. Zhang, W., Shen, Y., Ma, Y., Cheng, X., Tan, Z., Nong, Q., and Lu, W. (2022, January 7–11). Multi-View Reasoning: Consistent Contrastive Learning for Math Word Problem. Proceedings of the Findings of the Association for Computational Linguistics, EMNLP, Abu Dhabi, United Arab Emirates.10.18653/v1/2022.findings-emnlp.79 ↗
20. Roberts, A., Raffel, C., and Shazeer, N. (2020, January 16–20). How Much Knowledge Can You Pack Into the Parameters of a Language Model?. Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), Online.10.18653/v1/2020.emnlp-main.437 ↗
21. Event knowledge in large language models: The gap between the impossible and the unlikely10.1111/cogs.13386 ↗
22. Cobbe, K., Kosaraju, V., Bavarian, M., Chen, M., Jun, H., Kaiser, L., Plappert, M., Tworek, J., Hilton, J., and Nakano, R. (2021). Training verifiers to solve math word problems. arXiv.
23. Chen, W., Ma, X., Wang, X., and Cohen, W.W. (2023). Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks. arXiv.
24. Zhou, D., Schärli, N., Hou, L., Wei, J., Scales, N., Wang, X., Schuurmans, D., Cui, C., Bousquet, O., and Le, Q.V. (2023, January 1–5). Least-to-Most Prompting Enables Complex Reasoning in Large Language Models. Proceedings of the Eleventh International Conference on Learning Representations, ICLR, Kigali, Rwanda.
25. Shridhar, K., Stolfo, A., and Sachan, M. (2023, January 9–14). Distilling Reasoning Capabilities into Smaller Language Models. Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, Toronto, ON, Canada.10.18653/v1/2023.findings-acl.441 ↗
26. Yu, X., Gan, W., and Wang, M. (2017, January 5–7). Understanding explicit arithmetic word problems and explicit plane geometry problems using syntax-semantics models. Proceedings of the 2017 International Conference on Asian Language Processing (IALP), Singapore.10.1109/IALP.2017.8300590 ↗
27. An End-to-end Algorithm for Solving Circuit Problems10.1142/S0218001419400044 ↗
28. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction10.18653/v1/2022.acl-long.410 ↗
29. Learning to automatically solve algebra word problems10.3115/v1/P14-1026 ↗
30. Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks
31. Liang, Z., Zhang, J., Wang, L., Qin, W., Lan, Y., Shao, J., and Zhang, X. (2022, January 10–15). MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving. Proceedings of the Findings of the Association for Computational Linguistics: NAACL, 2022. Association for Computational Linguistics, Seattle, WA, USA.10.18653/v1/2022.findings-naacl.74 ↗
32. Yasunaga, M., Chen, X., Li, Y., Pasupat, P., Leskovec, J., Liang, P., Chi, E.H., and Zhou, D. (2024, January 7–11). Large Language Models as Analogical Reasoners. Proceedings of the Twelfth International Conference on Learning Representations, ICLR, Vienna, Austria.
33. Learning To Use Formulas To Solve Simple Arithmetic Problems10.18653/v1/P16-1202 ↗
34. Mapping to Declarative Knowledge for Word Problem Solving10.1162/tacl_a_00012 ↗
35. Che, W., Feng, Y., Qin, L., and Liu, T. (2021, January 7–11). N-LTP: An Open-source Neural Language Technology Platform for Chinese. Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, Virtual.10.18653/v1/2021.emnlp-demo.6 ↗
36. SymPy: Symbolic computing in Python10.7717/peerj-cs.103 ↗
37. Wang, Y., Liu, X., and Shi, S. (2017, January 9–11). Deep Neural Solver for Math Word Problems. Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing (EMNLP), Copenhagen, Denmark.10.18653/v1/D17-1088 ↗
38. Koncel-Kedziorski, R., Roy, S., Amini, A., Kushman, N., and Hajishirzi, H. (2016, January 12–17). MAWPS: A Math Word Problem Repository. Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, San Diego, CA, USA.10.18653/v1/N16-1136 ↗
39. Mishra, S., Finlayson, M., Lu, P., Tang, L., Welleck, S., Baral, C., Rajpurohit, T., Tafjord, O., Sabharwal, A., and Clark, P. (2022, January 7–11). LILA: A Unified Benchmark for Mathematical Reasoning. Proceedings of the Findings of the Association for Computational Linguistics, EMNLP, Abu Dhabi, United Arab Emirates.10.18653/v1/2022.emnlp-main.392 ↗