Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge-Reference-Cited by-同舟云学术

Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge

Published:2023-08-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining
language:
Short-container-title:

Author:

Liu Jiayu¹^ORCID,Huang Zhenya¹^ORCID,Ma Zhiyuan¹^ORCID,Liu Qi¹^ORCID,Chen Enhong¹^ORCID,Su Tianhuang²^ORCID,Liu Haifeng³^ORCID

Affiliation:

1. University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China

2. OPPO Mobile Telecommunications, Shenzhen, China

3. University of Science and Technology of China, Hefei, China

Funder

National Natural Science Foundation of China

National Key Research and Development Program of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3580305.3599375

Reference56 articles.

1. 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.

2. 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).

3. RLogic: Recursive Logical Rule Learning from Knowledge Graphs

4. 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).

5. Alex Davies , Petar Veličković , 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čković, 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.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. EBERT: A lightweight expression-enhanced large-scale pre-trained language model for mathematics education;Knowledge-Based Systems;2024-09

2. Bit-mask Robust Contrastive Knowledge Distillation for Unsupervised Semantic Hashing;Proceedings of the ACM Web Conference 2024;2024-05-13

3. A Knowledge-Injected Curriculum Pretraining Framework for Question Answering;Proceedings of the ACM Web Conference 2024;2024-05-13