{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T00:24:39Z","timestamp":1783643079247,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T00:00:00Z","timestamp":1691107200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62106244, U20A20229"],"award-info":[{"award-number":["62106244, U20A20229"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Research and Development Program of China","award":["2021YFF0901005"],"award-info":[{"award-number":["2021YFF0901005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,6]]},"DOI":"10.1145\/3580305.3599375","type":"proceedings-article","created":{"date-parts":[[2023,8,4]],"date-time":"2023-08-04T18:10:58Z","timestamp":1691172658000},"page":"1477-1488","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8639-3308","authenticated-orcid":false,"given":"Jiayu","family":"Liu","sequence":"first","affiliation":[{"name":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1661-0420","authenticated-orcid":false,"given":"Zhenya","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9188-7275","authenticated-orcid":false,"given":"Zhiyuan","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6956-5550","authenticated-orcid":false,"given":"Qi","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4835-4102","authenticated-orcid":false,"given":"Enhong","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1195-3195","authenticated-orcid":false,"given":"Tianhuang","family":"Su","sequence":"additional","affiliation":[{"name":"OPPO Mobile Telecommunications, Shenzhen, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-2922-3898","authenticated-orcid":false,"given":"Haifeng","family":"Liu","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,8,4]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of NAACL-HLT. 2357--2367","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 NAACL-HLT. 2357--2367 . 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 NAACL-HLT. 2357--2367."},{"key":"e_1_3_2_2_2_1","volume-title":"Robust understanding of word problems with extraneous information. arXiv preprint math\/0701393","author":"Bakman Yefim","year":"2007","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_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539421"},{"key":"e_1_3_2_2_4_1","unstructured":"Karl Cobbe Vineet Kosaraju Mohammad Bavarian etal 2021. Training verifiers to solve math word problems. arXiv preprint arXiv:2110.14168 (2021). Karl Cobbe Vineet Kosaraju Mohammad Bavarian et al. 2021. Training verifiers to solve math word problems. arXiv preprint arXiv:2110.14168 (2021)."},{"key":"e_1_3_2_2_5_1","volume-title":"Tomavs ev, et al","author":"Davies Alex","year":"2021","unstructured":"Alex Davies , Petar Veli\u010dkovi\u0107 , Lars Buesing , Sam Blackwell , Daniel Zheng , Tomavs ev, et al . 2021 . Advancing mathematics by guiding human intuition with AI. Nature , Vol. 600 , 7887 (2021), 70--74. Alex Davies, Petar Veli\u010dkovi\u0107, Lars Buesing, Sam Blackwell, Daniel Zheng, Tomavs ev, et al. 2021. Advancing mathematics by guiding human intuition with AI. Nature, Vol. 600, 7887 (2021), 70--74."},{"key":"e_1_3_2_2_6_1","volume-title":"Learning mathematics: The cognitive science approach to mathematics education","author":"Davis Robert Benjamin","unstructured":"Robert Benjamin Davis . 1984. Learning mathematics: The cognitive science approach to mathematics education . Greenwood Publishing Group . Robert Benjamin Davis. 1984. Learning mathematics: The cognitive science approach to mathematics education. Greenwood Publishing Group."},{"key":"e_1_3_2_2_7_1","volume-title":"Frege's philosophy of mathematics","author":"Dummett Michael AE","unstructured":"Michael AE Dummett . 1995. Frege's philosophy of mathematics . Harvard University Press . Michael AE Dummett. 1995. Frege's philosophy of mathematics. Harvard University Press."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.psych.59.103006.093629"},{"key":"e_1_3_2_2_9_1","volume-title":"Human reasoning: The psychology of deduction","author":"Evans Jonathan St BT","unstructured":"Jonathan St BT Evans , Stephen E Newstead , and Ruth MJ Byrne . 1993. Human reasoning: The psychology of deduction . Psychology Press . Jonathan St BT Evans, Stephen E Newstead, and Ruth MJ Byrne. 1993. Human reasoning: The psychology of deduction. Psychology Press."},{"key":"e_1_3_2_2_10_1","unstructured":"Edward A Feigenbaum Julian Feldman etal 1963. Computers and thought. New York McGraw-Hill. Edward A Feigenbaum Julian Feldman et al. 1963. Computers and thought. New York McGraw-Hill."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.3758\/BF03207654"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024621922509"},{"key":"e_1_3_2_2_13_1","volume-title":"Measuring mathematical problem solving with the math dataset. arXiv preprint arXiv:2103.03874","author":"Hendrycks Dan","year":"2021","unstructured":"Dan Hendrycks , Collin Burns , Saurav Kadavath , Akul Arora , Steven Basart , Eric Tang , Dawn Song , and Jacob Steinhardt . 2021. Measuring mathematical problem solving with the math dataset. arXiv preprint arXiv:2103.03874 ( 2021 ). Dan Hendrycks, Collin Burns, Saurav Kadavath, Akul Arora, Steven Basart, Eric Tang, Dawn Song, and Jacob Steinhardt. 2021. Measuring mathematical problem solving with the math dataset. arXiv preprint arXiv:2103.03874 (2021)."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/749690"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539338"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447548.3467347"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"crossref","unstructured":"Zhenya Huang Qi Liu Weibo Gao Jinze Wu Yu Yin Hao Wang and Enhong Chen. 2020. Neural mathematical solver with enhanced formula structure. In SIGIR. 1729--1732. Zhenya Huang Qi Liu Weibo Gao Jinze Wu Yu Yin Hao Wang and Enhong Chen. 2020. Neural mathematical solver with enhanced formula structure. In SIGIR. 1729--1732.","DOI":"10.1145\/3397271.3401227"},{"key":"e_1_3_2_2_18_1","volume-title":"Adaptive mixtures of local experts. Neural computation","author":"Jacobs Robert A","year":"1991","unstructured":"Robert A Jacobs , Michael I Jordan , Steven J Nowlan , and Geoffrey E Hinton . 1991. Adaptive mixtures of local experts. Neural computation , Vol. 3 , 1 ( 1991 ), 79--87. Robert A Jacobs, Michael I Jordan, Steven J Nowlan, and Geoffrey E Hinton. 1991. Adaptive mixtures of local experts. Neural computation, Vol. 3, 1 (1991), 79--87."},{"key":"e_1_3_2_2_19_1","unstructured":"Zhanming Jie Jierui Li and Wei Lu. 2022. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction. In ACL. 5944--5955. Zhanming Jie Jierui Li and Wei Lu. 2022. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction. In ACL. 5944--5955."},{"key":"e_1_3_2_2_20_1","volume-title":"fast and slow","author":"Kahneman Daniel","unstructured":"Daniel Kahneman . 2011. Thinking , fast and slow . Macmillan . Daniel Kahneman. 2011. Thinking, fast and slow. Macmillan."},{"key":"e_1_3_2_2_21_1","volume-title":"Proceedings of NAACL-HLT. 4171--4186","author":"Ming-Wei Chang Jacob Devlin","year":"2019","unstructured":"Jacob Devlin Ming-Wei Chang Kenton and Lee Kristina Toutanova . 2019 . BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding . In Proceedings of NAACL-HLT. 4171--4186 . Jacob Devlin Ming-Wei Chang Kenton and Lee Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In Proceedings of NAACL-HLT. 4171--4186."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"crossref","unstructured":"Hyunju Kim Junwon Hwang Taewoo Yoo and Yun-Gyung Cheong. 2022. Improving a Graph-to-Tree Model for Solving Math Word Problems. In IMCOM. 1--7. Hyunju Kim Junwon Hwang Taewoo Yoo and Yun-Gyung Cheong. 2022. Improving a Graph-to-Tree Model for Solving Math Word Problems. In IMCOM. 1--7.","DOI":"10.1109\/IMCOM53663.2022.9721720"},{"key":"e_1_3_2_2_23_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980","author":"Kingma Diederik P","year":"2014","unstructured":"Diederik P Kingma and Jimmy Ba . 2014 . Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014). Diederik P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980 (2014)."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1136"},{"key":"e_1_3_2_2_25_1","volume-title":"Where mathematics comes from","author":"Lakoff George","unstructured":"George Lakoff and Rafael N\u00fanez . 2000. Where mathematics comes from . Vol. 6 . New York : Basic Books . George Lakoff and Rafael N\u00fanez. 2000. Where mathematics comes from. Vol. 6. New York: Basic Books."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-acl.195"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Zhenwen Liang Jipeng Zhang Lei Wang Wei Qin Yunshi Lan Jie Shao and Xiangliang Zhang. 2022. MWP-BERT: Numeracy-augmented pre-training for math word problem solving. In NAACL-HLT (Findings). 997--1009. Zhenwen Liang Jipeng Zhang Lei Wang Wei Qin Yunshi Lan Jie Shao and Xiangliang Zhang. 2022. MWP-BERT: Numeracy-augmented pre-training for math word problem solving. In NAACL-HLT (Findings). 997--1009.","DOI":"10.18653\/v1\/2022.findings-naacl.74"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2023.3272114"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i5.16547"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.findings-acl.328"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM54844.2022.00037"},{"key":"e_1_3_2_2_32_1","volume-title":"Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning. arXiv preprint arXiv:2302.05717","author":"Liu Jiayu","year":"2023","unstructured":"Jiayu Liu , Zhenya Huang , Chengxiang Zhai , and Qi Liu . 2023. Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning. arXiv preprint arXiv:2302.05717 ( 2023 ). Jiayu Liu, Zhenya Huang, Chengxiang Zhai, and Qi Liu. 2023. Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning. arXiv preprint arXiv:2302.05717 (2023)."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2019.2924374"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Pan Lu Ran Gong Shibiao Jiang Liang Qiu Siyuan Huang Xiaodan Liang and Song-chun Zhu. 2021. Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. In ACL\/IJCNLP. 6774--6786. Pan Lu Ran Gong Shibiao Jiang Liang Qiu Siyuan Huang Xiaodan Liang and Song-chun Zhu. 2021. Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. In ACL\/IJCNLP. 6774--6786.","DOI":"10.18653\/v1\/2021.acl-long.528"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1166"},{"key":"e_1_3_2_2_36_1","unstructured":"Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua B Tenenbaum and Jiajun Wu. 2019. The neuro-symbolic concept learner: Interpreting scenes words and sentences from natural supervision. In ICLR. Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua B Tenenbaum and Jiajun Wu. 2019. The neuro-symbolic concept learner: Interpreting scenes words and sentences from natural supervision. In ICLR."},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"crossref","unstructured":"Arindam Mitra and Chitta Baral. 2016. Learning to use formulas to solve simple arithmetic problems. In ACL. 2144--2153. Arindam Mitra and Chitta Baral. 2016. Learning to use formulas to solve simple arithmetic problems. In ACL. 2144--2153.","DOI":"10.18653\/v1\/P16-1202"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"crossref","unstructured":"Arkil Patel Satwik Bhattamishra and Navin Goyal. 2021. Are NLP Models really able to Solve Simple Math Word Problems?. In NAACL-HLT. 2080--2094. Arkil Patel Satwik Bhattamishra and Navin Goyal. 2021. Are NLP Models really able to Solve Simple Math Word Problems?. In NAACL-HLT. 2080--2094.","DOI":"10.18653\/v1\/2021.naacl-main.168"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539276"},{"key":"e_1_3_2_2_40_1","volume-title":"Mathbert: A pre-trained model for mathematical formula understanding. arXiv preprint arXiv:2105.00377","author":"Peng Shuai","year":"2021","unstructured":"Shuai Peng , Ke Yuan , Liangcai Gao , and Zhi Tang . 2021 . Mathbert: A pre-trained model for mathematical formula understanding. arXiv preprint arXiv:2105.00377 (2021). Shuai Peng, Ke Yuan, Liangcai Gao, and Zhi Tang. 2021. Mathbert: A pre-trained model for mathematical formula understanding. arXiv preprint arXiv:2105.00377 (2021)."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"crossref","unstructured":"Jinghui Qin Xiaodan Liang Yining Hong Jianheng Tang and Liang Lin. 2021. Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks. In ACL\/IJCNLP. 5870--5881. Jinghui Qin Xiaodan Liang Yining Hong Jianheng Tang and Liang Lin. 2021. Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks. In ACL\/IJCNLP. 5870--5881.","DOI":"10.18653\/v1\/2021.acl-long.456"},{"key":"e_1_3_2_2_42_1","volume-title":"Probabilistic logic neural networks for reasoning. Advances in neural information processing systems","author":"Qu Meng","year":"2019","unstructured":"Meng Qu and Jian Tang . 2019. Probabilistic logic neural networks for reasoning. Advances in neural information processing systems , Vol. 32 ( 2019 ). Meng Qu and Jian Tang. 2019. Probabilistic logic neural networks for reasoning. Advances in neural information processing systems, Vol. 32 (2019)."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Shuming Shi Yuehui Wang Chin-Yew Lin Xiaojiang Liu and Yong Rui. 2015. Automatically solving number word problems by semantic parsing and reasoning. In EMNLP. 1132--1142. Shuming Shi Yuehui Wang Chin-Yew Lin Xiaojiang Liu and Yong Rui. 2015. Automatically solving number word problems by semantic parsing and reasoning. In EMNLP. 1132--1142.","DOI":"10.18653\/v1\/D15-1135"},{"key":"e_1_3_2_2_44_1","volume-title":"Cognitive neuroscience meets the community of knowledge. Frontiers in Systems Neuroscience","author":"Sloman Steven A","year":"2021","unstructured":"Steven A Sloman , Richard Patterson , and Aron K Barbey . 2021. Cognitive neuroscience meets the community of knowledge. Frontiers in Systems Neuroscience ( 2021 ), 120. Steven A Sloman, Richard Patterson, and Aron K Barbey. 2021. Cognitive neuroscience meets the community of knowledge. Frontiers in Systems Neuroscience (2021), 120."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Matthias Steup and Ram Neta. 2005. Epistemology. (2005). Matthias Steup and Ram Neta. 2005. Epistemology. (2005).","DOI":"10.1240\/sav_gbm_2005_h_001425"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"crossref","unstructured":"Bin Wang Jiangzhou Ju Yang Fan Xin-Yu Dai Shujian Huang and Jiajun Chen. 2022. Structure-Unified M-Tree Coding Solver for MathWord Problem. EMNLP. Bin Wang Jiangzhou Ju Yang Fan Xin-Yu Dai Shujian Huang and Jiajun Chen. 2022. Structure-Unified M-Tree Coding Solver for MathWord Problem. EMNLP.","DOI":"10.18653\/v1\/2022.emnlp-main.556"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"crossref","unstructured":"Yan Wang Xiaojiang Liu and Shuming Shi. 2017. Deep neural solver for math word problems. In EMNLP. 845--854. Yan Wang Xiaojiang Liu and Shuming Shi. 2017. Deep neural solver for math word problems. In EMNLP. 845--854.","DOI":"10.18653\/v1\/D17-1088"},{"key":"e_1_3_2_2_48_1","unstructured":"Qinzhuo Wu Qi Zhang Jinlan Fu and Xuan-Jing Huang. 2020. A knowledge-aware sequence-to-tree network for math word problem solving. In EMNLP. 7137--7146. Qinzhuo Wu Qi Zhang Jinlan Fu and Xuan-Jing Huang. 2020. A knowledge-aware sequence-to-tree network for math word problem solving. In EMNLP. 7137--7146."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"crossref","unstructured":"Zhipeng Xie and Shichao Sun. 2019. A Goal-Driven Tree-Structured Neural Model for Math Word Problems.. In IJCAI. 5299--5305. Zhipeng Xie and Shichao Sun. 2019. A Goal-Driven Tree-Structured Neural Model for Math Word Problems.. In IJCAI. 5299--5305.","DOI":"10.24963\/ijcai.2019\/736"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"crossref","unstructured":"Zhicheng Yang Jinghui Qin Jiaqi Chen Liang Lin and Xiaodan Liang. 2022. LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning. In Findings of EMNLP. Zhicheng Yang Jinghui Qin Jiaqi Chen Liang Lin and Xiaodan Liang. 2022. LogicSolver: Towards Interpretable Math Word Problem Solving with Logical Prompt-enhanced Learning. In Findings of EMNLP.","DOI":"10.18653\/v1\/2022.findings-emnlp.1"},{"key":"e_1_3_2_2_51_1","volume-title":"A Survey on Neural-symbolic Systems. arXiv preprint arXiv:2111.08164","author":"Yu Dongran","year":"2021","unstructured":"Dongran Yu , Bo Yang , Dayou Liu , and Hui Wang . 2021. A Survey on Neural-symbolic Systems. arXiv preprint arXiv:2111.08164 ( 2021 ). Dongran Yu, Bo Yang, Dayou Liu, and Hui Wang. 2021. A Survey on Neural-symbolic Systems. arXiv preprint arXiv:2111.08164 (2021)."},{"key":"e_1_3_2_2_52_1","unstructured":"Dongran Yu Bo Yang Qianhao Wei Anchen Li and Shirui Pan. 2022. A Probabilistic Graphical Model Based on Neural-Symbolic Reasoning for Visual Relationship Detection. In CVPR. 10609--10618. Dongran Yu Bo Yang Qianhao Wei Anchen Li and Shirui Pan. 2022. A Probabilistic Graphical Model Based on Neural-Symbolic Reasoning for Visual Relationship Detection. In CVPR. 10609--10618."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2019.2914054"},{"key":"e_1_3_2_2_54_1","volume-title":"Roy Ka-Wei Lee, et al","author":"Zhang Jipeng","year":"2020","unstructured":"Jipeng Zhang , Lei Wang , Roy Ka-Wei Lee, et al . 2020 b. Graph-to-Tree Learning for Solving Math Word Problems. In ACL. 3928--3937. Jipeng Zhang, Lei Wang, Roy Ka-Wei Lee, et al. 2020b. Graph-to-Tree Learning for Solving Math Word Problems. In ACL. 3928--3937."},{"key":"e_1_3_2_2_55_1","volume-title":"An Ensemble Learning Approach with Gradient Resampling for Class-Imbalance Problems. INFORMS Journal on Computing","author":"Zhao Hongke","year":"2023","unstructured":"Hongke Zhao , Chuang Zhao , Xi Zhang , Nanlin Liu , Hengshu Zhu , Qi Liu , and Hui Xiong . 2023. An Ensemble Learning Approach with Gradient Resampling for Class-Imbalance Problems. INFORMS Journal on Computing ( 2023 ). Hongke Zhao, Chuang Zhao, Xi Zhang, Nanlin Liu, Hengshu Zhu, Qi Liu, and Hui Xiong. 2023. An Ensemble Learning Approach with Gradient Resampling for Class-Imbalance Problems. INFORMS Journal on Computing (2023)."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539131"}],"event":{"name":"KDD '23: The 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","location":"Long Beach CA USA","acronym":"KDD '23","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGKDD ACM Special Interest Group on Knowledge Discovery in Data"]},"container-title":["Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3580305.3599375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3580305.3599375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:48Z","timestamp":1750178268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3580305.3599375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,4]]},"references-count":56,"alternative-id":["10.1145\/3580305.3599375","10.1145\/3580305"],"URL":"https:\/\/doi.org\/10.1145\/3580305.3599375","relation":{},"subject":[],"published":{"date-parts":[[2023,8,4]]},"assertion":[{"value":"2023-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}