{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T11:29:46Z","timestamp":1750937386174,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,12,14]],"date-time":"2021-12-14T00:00:00Z","timestamp":1639440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,14]]},"DOI":"10.1145\/3486622.3494000","type":"proceedings-article","created":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T01:18:53Z","timestamp":1649899133000},"page":"653-657","source":"Crossref","is-referenced-by-count":1,"title":["Recycling Numeracy Data Augmentation with Symbolic Verification for Math Word Problem Solving"],"prefix":"10.1145","author":[{"given":"Tien-Yi","family":"Jen","sequence":"first","affiliation":[{"name":"National Taiwan University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hen-Hsen","family":"Huang","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hsin-Hsi","family":"Chen","sequence":"additional","affiliation":[{"name":"National Taiwan University, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies","volume":"1","author":"Amini Aida","year":"2019","unstructured":"Aida Amini , Saadia Gabriel , Shanchuan Lin , Rik Koncel-Kedziorski , Yejin Choi , and Hannaneh Hajishirzi . 2019 . MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms . In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies , Volume 1 (Long and Short Papers). 2357\u20132367. Aida Amini, Saadia Gabriel, Shanchuan Lin, Rik Koncel-Kedziorski, Yejin Choi, and Hannaneh Hajishirzi. 2019. MathQA: Towards Interpretable Math Word Problem Solving with Operation-Based Formalisms. In Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers). 2357\u20132367."},{"key":"e_1_3_2_1_2_1","volume-title":"3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.). http:\/\/arxiv.org\/abs\/1409","author":"Bahdanau Dzmitry","year":"2015","unstructured":"Dzmitry Bahdanau , Kyunghyun Cho , and Yoshua Bengio . 2015 . Neural Machine Translation by Jointly Learning to Align and Translate . In 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.). http:\/\/arxiv.org\/abs\/1409 .0473 Dzmitry Bahdanau, Kyunghyun Cho, and Yoshua Bengio. 2015. Neural Machine Translation by Jointly Learning to Align and Translate. In 3rd International Conference on Learning Representations, ICLR 2015, San Diego, CA, USA, May 7-9, 2015, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.). http:\/\/arxiv.org\/abs\/1409.0473"},{"key":"e_1_3_2_1_3_1","unstructured":"Yefim Bakman. 2007. Robust understanding of word problems with extraneous information. arXiv preprint math\/0701393(2007).  Yefim Bakman. 2007. Robust understanding of word problems with extraneous information. arXiv preprint math\/0701393(2007)."},{"key":"e_1_3_2_1_5_1","volume-title":"An integrated model of skill in solving elementary word problems. Cognition and instruction 1, 3","author":"Briars J","year":"1984","unstructured":"Diane\u00a0 J Briars and Jill\u00a0 H Larkin . 1984. An integrated model of skill in solving elementary word problems. Cognition and instruction 1, 3 ( 1984 ), 245\u2013296. Diane\u00a0J Briars and Jill\u00a0H Larkin. 1984. An integrated model of skill in solving elementary word problems. Cognition and instruction 1, 3 (1984), 245\u2013296."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of ICML, Vol.\u00a02020","author":"Chen Kezhen","year":"2020","unstructured":"Kezhen Chen , Qiuyuan Huang , Hamid Palangi , Paul Smolensky , Kenneth\u00a0 D Forbus , and Jianfeng Gao . 2020 . Mapping natural-language problems to formal-language solutions using structured neural representations . In Proc. of ICML, Vol.\u00a02020 . Kezhen Chen, Qiuyuan Huang, Hamid Palangi, Paul Smolensky, Kenneth\u00a0D Forbus, and Jianfeng Gao. 2020. Mapping natural-language problems to formal-language solutions using structured neural representations. In Proc. of ICML, Vol.\u00a02020."},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Learning Representations.","author":"Chen Xinyun","year":"2019","unstructured":"Xinyun Chen , Chen Liang , Adams\u00a0Wei Yu , Denny Zhou , Dawn Song , and Quoc\u00a0 V Le . 2019 . Neural symbolic reader: Scalable integration of distributed and symbolic representations for reading comprehension . In International Conference on Learning Representations. Xinyun Chen, Chen Liang, Adams\u00a0Wei Yu, Denny Zhou, Dawn Song, and Quoc\u00a0V Le. 2019. Neural symbolic reader: Scalable integration of distributed and symbolic representations for reading comprehension. In International Conference on Learning Representations."},{"volume-title":"Advances in Neural Information Processing Systems 28, C.\u00a0Cortes, N.\u00a0D.","author":"Dai M","key":"e_1_3_2_1_8_1","unstructured":"Andrew\u00a0 M Dai and Quoc\u00a0 V Le. 2015. Semi-supervised Sequence Learning . In Advances in Neural Information Processing Systems 28, C.\u00a0Cortes, N.\u00a0D. Lawrence , D.\u00a0D. Lee, M.\u00a0Sugiyama, and R.\u00a0Garnett (Eds.). Curran Associates, Inc ., 3079\u20133087. http:\/\/papers.nips.cc\/paper\/5949-semi-supervised-sequence-learning.pdf Andrew\u00a0M Dai and Quoc\u00a0V Le. 2015. Semi-supervised Sequence Learning. In Advances in Neural Information Processing Systems 28, C.\u00a0Cortes, N.\u00a0D. Lawrence, D.\u00a0D. Lee, M.\u00a0Sugiyama, and R.\u00a0Garnett (Eds.). Curran Associates, Inc., 3079\u20133087. http:\/\/papers.nips.cc\/paper\/5949-semi-supervised-sequence-learning.pdf"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of NAACL.","author":"Dua Dheeru","year":"2019","unstructured":"Dheeru Dua , Yizhong Wang , Pradeep Dasigi , Gabriel Stanovsky , Sameer Singh , and Matt Gardner . 2019 . DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphs . In Proc. of NAACL. Dheeru Dua, Yizhong Wang, Pradeep Dasigi, Gabriel Stanovsky, Sameer Singh, and Matt Gardner. 2019. DROP: A Reading Comprehension Benchmark Requiring Discrete Reasoning Over Paragraphs. In Proc. of NAACL."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Mor Geva Ankit Gupta and Jonathan Berant. 2020. Injecting Numerical Reasoning Skills into Language Models. In ACL.  Mor Geva Ankit Gupta and Jonathan Berant. 2020. Injecting Numerical Reasoning Skills into Language Models. In ACL.","DOI":"10.18653\/v1\/2020.acl-main.89"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.coling-main.199"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1058"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 27th International Conference on Computational Linguistics. 213\u2013223","author":"Huang Danqing","year":"2018","unstructured":"Danqing Huang , Jing Liu , Chin-Yew Lin , and Jian Yin . 2018 . Neural math word problem solver with reinforcement learning . In Proceedings of the 27th International Conference on Computational Linguistics. 213\u2013223 . Danqing Huang, Jing Liu, Chin-Yew Lin, and Jian Yin. 2018. Neural math word problem solver with reinforcement learning. In Proceedings of the 27th International Conference on Computational Linguistics. 213\u2013223."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-1039"},{"key":"e_1_3_2_1_15_1","volume-title":"3rd international conference for learning representations","author":"Diederik","year":"2015","unstructured":"Diederik P\u00a0Kingma JLB. 2015 . Adam: A method for stochastic optimization . In 3rd international conference for learning representations , San Diego. Diederik P\u00a0Kingma JLB. 2015. Adam: A method for stochastic optimization. In 3rd international conference for learning representations, San Diego."},{"key":"e_1_3_2_1_16_1","volume-title":"Kingma and Jimmy Ba","author":"P.","year":"2015","unstructured":"Diederik\u00a0 P. Kingma and Jimmy Ba . 2015 . Adam : A Method for Stochastic Optimization. CoRR abs\/1412.6980(2015). Diederik\u00a0P. Kingma and Jimmy Ba. 2015. Adam: A Method for Stochastic Optimization. CoRR abs\/1412.6980(2015)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1015"},{"volume-title":"Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers)","author":"Luong Thang","key":"e_1_3_2_1_18_1","unstructured":"Thang Luong , Ilya Sutskever , Quoc Le , Oriol Vinyals , and Wojciech Zaremba . 2015. Addressing the Rare Word Problem in Neural Machine Translation . In Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers) . Association for Computational Linguistics , Beijing, China , 11\u201319. https:\/\/doi.org\/10.3115\/v1\/P15-1002 Thang Luong, Ilya Sutskever, Quoc Le, Oriol Vinyals, and Wojciech Zaremba. 2015. Addressing the Rare Word Problem in Neural Machine Translation. In Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers). Association for Computational Linguistics, Beijing, China, 11\u201319. https:\/\/doi.org\/10.3115\/v1\/P15-1002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00118"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1137"}],"event":{"name":"WI-IAT '21: IEEE\/WIC\/ACM International Conference on Web Intelligence","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"ESSENDON VIC Australia","acronym":"WI-IAT '21"},"container-title":["IEEE\/WIC\/ACM International Conference on Web Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486622.3494000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486622.3494000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:05Z","timestamp":1750191125000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486622.3494000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,14]]},"references-count":19,"alternative-id":["10.1145\/3486622.3494000","10.1145\/3486622"],"URL":"https:\/\/doi.org\/10.1145\/3486622.3494000","relation":{},"subject":[],"published":{"date-parts":[[2021,12,14]]}}}