{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T06:14:06Z","timestamp":1775628846237,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T00:00:00Z","timestamp":1764720000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T00:00:00Z","timestamp":1764720000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,3]]},"DOI":"10.1109\/icmla66185.2025.00065","type":"proceedings-article","created":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T19:54:58Z","timestamp":1775591698000},"page":"432-439","source":"Crossref","is-referenced-by-count":0,"title":["Solving Math Word Problems Using Estimation Verification and Equation Generation"],"prefix":"10.1109","author":[{"given":"Mitchell","family":"Piehl","sequence":"first","affiliation":[{"name":"Computer Science University of Iowa,Iowa City,USA"}]},{"given":"Dillon","family":"Wilson","sequence":"additional","affiliation":[{"name":"University of Colorado,Computer Science,Colorado Springs,USA"}]},{"given":"Ananya","family":"Kalita","sequence":"additional","affiliation":[{"name":"University of Washington,Foster School of Business,Seattle,Washington"}]},{"given":"Jugal","family":"Kalita","sequence":"additional","affiliation":[{"name":"University of Colorado,Computer Science,Colorado Springs,USA"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Natural language input for a computer problem solving system","volume-title":"Technical report","author":"Bobrow","year":"1964"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1088"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33017144"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/736"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.362"},{"key":"ref6","first-page":"76","article-title":"Solving arithmetic word problems using transformer and pre-processing of problem texts","volume-title":"Proceedings of the 17th International Conference on Natural Language Processing (ICON)","author":"Griffith"},{"key":"ref7","article-title":"Solving arithmetic word problems with transformers and preprocessing of problem text","author":"Griffith","year":"2021"},{"key":"ref8","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref9","first-page":"31210","article-title":"Large language models can be easily distracted by irrelevant context","volume-title":"International Conference on Machine Learning","author":"Shi"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1613"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i17.29898"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i17.29879"},{"key":"ref14","article-title":"Solving math word problems by combining language models with symbolic solvers","author":"He-Yueya","year":"2023"},{"key":"ref15","journal-title":"Topics in mathematics, hints for problem solving, booklet 17, 1964\u20131969"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1037\/0278-7393.10.4.778"},{"key":"ref17","volume-title":"Analyzing the solution of word problems in mathematics: An exploratory study.","author":"Kilpatrick","year":"1967"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.5951\/AT.9.8.0436"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.blackboxnlp-1.12"},{"key":"ref20","article-title":"Automatic chain of thought prompting in large language models","volume-title":"The Eleventh International Conference on Learning Representations (ICLR 2023)","author":"Zhang"},{"key":"ref21","article-title":"Self-consistency improves chain of thought reasoning in language models","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR)","author":"Wang"},{"key":"ref22","article-title":"Decomposed prompting: A modular approach for solving complex tasks","volume-title":"Proceedings of the International Conference on Learning Representations (ICLR)","author":"Khot"},{"key":"ref23","article-title":"Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks","author":"Chen","year":"2023","journal-title":"Transactions on Machine Learning Research"},{"key":"ref24","first-page":"10764","article-title":"Pal: Program-aided language models","volume-title":"International Conference on Machine Learning","author":"Gao"},{"key":"ref25","author":"Cobbe","year":"2021","journal-title":"Training verifiers to solve math word problems"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.168"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.naacl-long.379"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-long.147"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"ref30","volume-title":"Gpt-4 technical report","author":"Achiam","year":"2023"}],"event":{"name":"2025 International Conference on Machine Learning and Applications (ICMLA)","location":"Boca Raton, FL, USA","start":{"date-parts":[[2025,12,3]]},"end":{"date-parts":[[2025,12,5]]}},"container-title":["2025 International Conference on Machine Learning and Applications (ICMLA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11471302\/11471304\/11471525.pdf?arnumber=11471525","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T05:38:42Z","timestamp":1775626722000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11471525\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,3]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icmla66185.2025.00065","relation":{},"subject":[],"published":{"date-parts":[[2025,12,3]]}}}