ExEqGen : An external symbolic solver for mathematical word problem solving
*Michael KurisappanCorresponding authormichael.k@res.christuniversity.inDepartment of Computer Science and EngineeringCHRIST (Deemed to be University)Bangalore, Karnataka, 560074, IndiaView full profile → , S. Sundara Pandiyansundarapandiyan.s@christuniversity.inDepartment of Computer Science and EngineeringCHRIST (Deemed to be University)Bangalore, Karnataka, 560074, IndiaView full profile →
* Corresponding author · click or hover a name for details
- Received:
- 10 Apr 2024
- Published Online:
- 12 Aug 2024
- Article type:
- Research Article
- Language:
- EN
- Article no.:
- JIOS-1709
- Pages:
- 1359–1377
Abstract
Keywords
Subject Classifications
References
[1] Zhang, Dongxiang, et al. “The gap of semantic parsing: A survey on automatic math word problem solvers.” IEEE transactions on pattern analysis and machine intelligence 42.9 : 2287-2305 (2019).
[2] Newell, Allen, and Herbert Alexander Simon. “GPS, a program that simulates human thought.” (1961).
[3] Kushman, Nate, et al. “Learning to automatically solve algebra word problems.” Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (2014).
[4] Huang, Danqing, et al. “How well do computers solve math word problems? large-scale dataset construction and evaluation.” Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) (2016).
[5] Baum, Leonard E., et al. “A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains.” The Annals of Mathematical Statistics 41.1 : 164-171 (1970).
[6] Lafferty, John, Andrew McCallum, and Fernando Pereira. “Conditional random fields: Probabilistic models for segmenting and labeling sequence data.” Icml. Vol. 1. No. 2. (2001).
[7] Vaswani, Ashish, et al. “Attention is all you need.” Advances in Neural Information Processing Systems 30 (2017).
[8] Devlin, Jacob, et al. “Bert: Pre-training of deep bidirectional transformers for language understanding.” arXiv preprint arXiv:1810.04805 (2018).
[9] Liang, Zhenwen, et al. “Mwp-bert: Numeracy-augmented pre-training for math word problem solving.” arXiv preprint arXiv:2107.13435 (2021).
[10] Bommasani, Rishi, et al. “On the opportunities and risks of foundation models.” arXiv preprint arXiv:2108.07258 (2021).
[11] Meurer, Aaron, et al. “SymPy: symbolic computing in Python.” PeerJ Computer Science 3 : e103 (2017).
[12] Liu, Yinhan, et al. “Roberta: A robustly optimized bert pretraining approach.” arXiv preprint arXiv:1907.11692 (2019).
[13] Chen, Zhiyu, et al. “Finqa: A dataset of numerical reasoning over financial data.” arXiv preprint arXiv:2109.00122 (2021).
[14] Amini, Aida, et al. “Mathqa: Towards interpretable math word problem solving with operation-based formalisms.” arXiv preprint arXiv:1905.13319 (2019).
[15] Wang, Yan, Xiaojiang Liu, and Shuming Shi. “Deep neural solver for math word problems.” Proceedings of the 2017 conference on empirical methods in natural language processing (2017).
[16] Zhang, Biao, et al. “Variational neural machine translation.” arXiv preprint arXiv:1605.07869 (2016).
[17] Wang, Lei, et al. “Mathdqn: Solving arithmetic word problems via deep reinforcement learning.” Proceedings of the AAAI conference on artificial intelligence. Vol. 32. No. 1 (2018).
[18] Zhang, Jipeng, et al. “Graph-to-tree learning for solving math word problems.” Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics (2020).
[19] OpenAI, R. “Gpt-4 technical report. arxiv 2303.08774.” View in Article 2.5 (2023).
[20] Anil, Rohan, et al. “Palm 2 technical report.” arXiv preprint arXiv:2305.10403 (2023).
[21] Kumar, Ankit, et al. “An improved quantum key distribution protocol for verification.” Journal of Discrete Mathematical Sciences and Cryptography 22.4 : 491-498 (2019).
[22] Saini, Garima, et al. “Structural equation based model to investigate the moderating effect of fear of COVID using partial least square method.” Journal of Interdisciplinary Mathematics 25.3 : 703-720 (2022).
[23] Kumar, Ankit, et al. “An enhanced quantum key distribution protocol for security authentication.” Journal of Discrete Mathematical Sciences and Cryptography 22.4 : 499-507 (2019).
[24] Kipf, Thomas N., and Max Welling. “Semi-supervised classification with graph convolutional networks.” arXiv preprint arXiv:1609.02907 (2016).
[25] Bhatnagar, Vaibhav, et al. “Descriptive analysis of COVID-19 patients in the context of India.” Journal of Interdisciplinary Mathematics 24.3 : 489-504 (2021).
[26] Huot, Mathieu, and Amir Shaikhha. “Denotationally correct, purely functional, efficient reverse-mode automatic differentiation.” arXiv preprint arXiv:2212.09801 (2022).
[27] Garcia, Noa, et al. “A dataset and baselines for visual question answering on art.” Computer Vision–ECCV 2020 Workshops: Glasgow, UK, August 23–28, 2020, Proceedings, Part II 16. Springer International Publishing (2020).
[28] Upadhyay, Shyam, and Ming-Wei Chang. “Annotating derivations: A new evaluation strategy and dataset for algebra word problems.” arXiv preprint arXiv:1609.07197 (2016).
[29] Koncel-Kedziorski, Rik, et al. “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 (2016).
[30] Zhang, Jiaxin, and Yashar Moshfeghi. “ELASTIC: numerical reasoning with adaptive symbolic compiler.” Advances in Neural Information Processing Systems 35 : 12647-12661 (2022).
