{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:44Z","timestamp":1750220144239,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,14]],"date-time":"2022-08-14T00:00:00Z","timestamp":1660435200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key RD Program of China","award":["2019YFB1406303"],"award-info":[{"award-number":["2019YFB1406303"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,14]]},"DOI":"10.1145\/3534678.3539276","type":"proceedings-article","created":{"date-parts":[[2022,8,12]],"date-time":"2022-08-12T19:06:12Z","timestamp":1660331172000},"page":"1348-1357","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Compute Like Humans: Interpretable Step-by-step Symbolic Computation with Deep Neural Network"],"prefix":"10.1145","author":[{"given":"Shuai","family":"Peng","sequence":"first","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Di","family":"Fu","sequence":"additional","affiliation":[{"name":"ByteDance, Beijing, China"}]},{"given":"Yong","family":"Cao","sequence":"additional","affiliation":[{"name":"ByteDance, Beijing, China"}]},{"given":"Yijun","family":"Liang","sequence":"additional","affiliation":[{"name":"ByteDance, Beijing, China"}]},{"given":"Gu","family":"Xu","sequence":"additional","affiliation":[{"name":"ByteDance, Beijing, China"}]},{"given":"Liangcai","family":"Gao","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]},{"given":"Zhi","family":"Tang","sequence":"additional","affiliation":[{"name":"Peking University, Beijing, China"}]}],"member":"320","published-online":{"date-parts":[[2022,8,14]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"ICLR 2021","author":"Charton Fran\u00e7ois","year":"2021","unstructured":"Fran\u00e7ois Charton, Amaury Hayat, and Guillaume Lample. 2021. Learning advanced mathematical computations from examples. In ICLR 2021, Virtual Event, Austria, May 3--7, 2021. OpenReview.net."},{"key":"e_1_3_2_2_2_1","volume-title":"Tree-to-tree Neural Networks for Program Translation. In ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Workshop Track Proceedings. OpenReview.net.","author":"Chen Xinyun","year":"2018","unstructured":"Xinyun Chen, Chang Liu, and Dawn Song. 2018. Tree-to-tree Neural Networks for Program Translation. In ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Workshop Track Proceedings. OpenReview.net."},{"key":"e_1_3_2_2_3_1","volume-title":"Discovering mathematics","author":"Chow W. K.","unstructured":"W. K. Chow. 2013. Discovering mathematics (2nd edition) 1A. Singapore: Star Publishing Pte Ltd.","edition":"2"},{"key":"e_1_3_2_2_4_1","volume-title":"BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In NAACL-HLT","author":"Devlin Jacob","year":"2019","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In NAACL-HLT 2019, Minneapolis, MN, USA, June 2--7, 2019, Volume 1 (Long and Short Papers), Jill Burstein, Christy Doran, and Thamar Solorio (Eds.). Association for Computational Linguistics, 4171--4186."},{"key":"e_1_3_2_2_5_1","volume-title":"6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. OpenReview.net.","author":"Evans Richard","year":"2018","unstructured":"Richard Evans, David Saxton, David Amos, Pushmeet Kohli, and Edward Grefenstette. 2018. Can Neural Networks Understand Logical Entailment?. In 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings. OpenReview.net."},{"key":"e_1_3_2_2_6_1","volume-title":"Measuring Mathematical Problem Solving With the MATH Dataset. CoRR abs\/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. CoRR abs\/2103.03874 (2021). arXiv:2103.03874"},{"key":"e_1_3_2_2_7_1","volume-title":"Neural GPUs Learn Algorithms. In ICLR 2016, San Juan, Puerto Rico, May 2--4, 2016, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.).","author":"Kaiser Lukasz","year":"2016","unstructured":"Lukasz Kaiser and Ilya Sutskever. 2016. Neural GPUs Learn Algorithms. In ICLR 2016, San Juan, Puerto Rico, May 2--4, 2016, Conference Track Proceedings, Yoshua Bengio and Yann LeCun (Eds.)."},{"key":"e_1_3_2_2_8_1","volume-title":"Deep Learning For Symbolic Mathematics. In ICLR 2020","author":"Lample Guillaume","year":"2020","unstructured":"Guillaume Lample and Fran\u00e7ois Charton. 2020. Deep Learning For Symbolic Mathematics. In ICLR 2020, Addis Ababa, Ethiopia, April 26--30, 2020. OpenReview. net."},{"key":"e_1_3_2_2_9_1","volume-title":"MathBERT: A Pre-Trained Model for Mathematical Formula Understanding. CoRR abs\/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. CoRR abs\/2105.00377 (2021). arXiv:2105.00377"},{"key":"e_1_3_2_2_10_1","volume":"201","author":"Raffel Colin","unstructured":"Colin Raffel, Noam Shazeer, Adam Roberts, Katherine Lee, Sharan Narang, Michael Matena, Yanqi Zhou, Wei Li, and Peter J. Liu. 2019. Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer. CoRR abs\/1910.10683 (2019). arXiv:1910.10683","journal-title":"Peter J. Liu."},{"key":"e_1_3_2_2_11_1","volume-title":"Analysing Mathematical Reasoning Abilities of Neural Models. In ICLR 2019","author":"Saxton David","year":"2019","unstructured":"David Saxton, Edward Grefenstette, Felix Hill, and Pushmeet Kohli. 2019. Analysing Mathematical Reasoning Abilities of Neural Models. In ICLR 2019, New Orleans, LA, USA, May 6--9, 2019. OpenReview.net."},{"key":"e_1_3_2_2_12_1","volume-title":"NeurIPS","author":"Shiv Vighnesh Leonardo","year":"2019","unstructured":"Vighnesh Leonardo Shiv and Chris Quirk. 2019. Novel positional encodings to enable tree-based transformers. In NeurIPS 2019, December 8--14, 2019, Vancouver, BC, Canada, Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d'Alch\u00e9-Buc, Emily B. Fox, and Roman Garnett (Eds.). 12058--12068."},{"key":"e_1_3_2_2_13_1","volume-title":"Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks. In ACL 2015","volume":"1566","author":"Tai Kai Sheng","year":"2015","unstructured":"Kai Sheng Tai, Richard Socher, and Christopher D. Manning. 2015. Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks. In ACL 2015, July 26--31, 2015, Beijing, China, Volume 1: Long Papers. The Association for Computer Linguistics, 1556--1566."},{"key":"e_1_3_2_2_14_1","volume-title":"NeurIPS","author":"Hill Felix","year":"2018","unstructured":"AndrewTrask, Felix Hill, Scott E. Reed, JackW. Rae, Chris Dyer, and Phil Blunsom. 2018. Neural Arithmetic Logic Units. In NeurIPS 2018, December 3--8, 2018, Montr\u00e9al, Canada, Samy Bengio, Hanna M. Wallach, Hugo Larochelle, Kristen Grauman, Nicol\u00f2 Cesa-Bianchi, and Roman Garnett (Eds.). 8046--8055."},{"key":"e_1_3_2_2_15_1","volume-title":"Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017","author":"Vaswani Ashish","year":"2017","unstructured":"Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin. 2017. Attention is All you Need. In Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, December 4--9, 2017, Long Beach, CA, USA, Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna M. Wallach, Rob Fergus, S. V. N. Vishwanathan, and Roman Garnett (Eds.). 5998--6008."},{"key":"e_1_3_2_2_16_1","volume-title":"Tree Transformer: Integrating Tree Structures into Self-Attention. In EMNLP-IJCNLP","author":"Wang Yau-Shian","year":"2019","unstructured":"Yau-Shian Wang, Hung-yi Lee, and Yun-Nung Chen. 2019. Tree Transformer: Integrating Tree Structures into Self-Attention. In EMNLP-IJCNLP 2019, Hong Kong, China, November 3--7, 2019, Kentaro Inui, Jing Jiang, Vincent Ng, and Xiaojun Wan (Eds.). Association for Computational Linguistics, 1061--1070."},{"key":"e_1_3_2_2_17_1","volume-title":"(AIED 2021), Online, June 15, 2021 (CEUR Workshop Proceedings","volume":"133","author":"Wang Zichao","unstructured":"Zichao Wang, Andrew S. Lan, and Richard G. Baraniuk. 2021. Mathematical Formula Representation via Tree Embeddings. In (AIED 2021), Online, June 15, 2021 (CEUR Workshop Proceedings, Vol. 2895), Sergey A. Sosnovsky, Peter Brusilovsky, Richard G. Baraniuk, and Andrew S. Lan (Eds.). CEUR-WS.org, 121--133."},{"key":"e_1_3_2_2_18_1","volume-title":"Lan","author":"Zhang Mengxue","year":"2021","unstructured":"Mengxue Zhang, Zichao Wang, Richard G. Baraniuk, and Andrew S. Lan. 2021. Math Operation Embeddings for Open-ended Solution Analysis and Feedback. CoRR abs\/2104.12047 (2021). arXiv:2104.12047"}],"event":{"sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGKDD ACM Special Interest Group on Knowledge Discovery in Data"],"acronym":"KDD '22","name":"KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","location":"Washington DC USA"},"container-title":["Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534678.3539276","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3534678.3539276","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:59:59Z","timestamp":1750186799000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534678.3539276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,14]]},"references-count":18,"alternative-id":["10.1145\/3534678.3539276","10.1145\/3534678"],"URL":"https:\/\/doi.org\/10.1145\/3534678.3539276","relation":{},"subject":[],"published":{"date-parts":[[2022,8,14]]},"assertion":[{"value":"2022-08-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}