{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T13:51:00Z","timestamp":1781358660437,"version":"3.54.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T00:00:00Z","timestamp":1671408000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T00:00:00Z","timestamp":1671408000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012165","name":"Key Technologies Research and Development Program","doi-asserted-by":"publisher","award":["2022YFF0902000"],"award-info":[{"award-number":["2022YFF0902000"]}],"id":[{"id":"10.13039\/501100012165","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.1007\/s10115-022-01804-3","type":"journal-article","created":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T08:03:08Z","timestamp":1671436988000},"page":"1611-1625","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A deep reinforcement learning agent for geometry online tutoring"],"prefix":"10.1007","volume":"65","author":[{"given":"Ziyang","family":"Xiao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongxiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,12,19]]},"reference":[{"key":"1804_CR1","doi-asserted-by":"publisher","DOI":"10.1142\/9789812798152","author":"S-C Chou","year":"1994","unstructured":"Chou S-C, Gao X-S, Zhang J (1994) Machine proofs in geometry: automated production of readable proofs for geometry theorems. World Scientific, Singapore. https:\/\/doi.org\/10.1142\/9789812798152","journal-title":"World Scientific, Singapore"},{"key":"1804_CR2","doi-asserted-by":"publisher","unstructured":"Alvin C, Gulwani S, Majumdar R, Mukhopadhyay S (2017) Synthesis of problems for shaded area geometry reasoning, pp. 455\u2013458. https:\/\/doi.org\/10.1007\/978-3-319-61425-0_39","DOI":"10.1007\/978-3-319-61425-0_39"},{"key":"1804_CR3","first-page":"245","volume":"1","author":"C Alvin","year":"2014","unstructured":"Alvin C, Gulwani S, Majumdar R, Mukhopadhyay S (2014) Synthesis of geometry proof problems. Proc Natl Conf Artif Intell 1:245\u2013252","journal-title":"Proc Natl Conf Artif Intell"},{"key":"1804_CR4","doi-asserted-by":"crossref","unstructured":"Lan Y, Wang L, Zhang Q, Lan Y, Dai BT, Wang Y, Zhang D, Lim E (2022) Mwptoolkit: An open-source framework for deep learning-based math word problem solvers. In: Thirty-sixth aaai conference on artificial intelligence, aaai 2022, thirty-fourth conference on innovative applications of artificial intelligence, IAAI 2022, the twelveth symposium on educational advances in artificial intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pp. 13188\u201313190","DOI":"10.1609\/aaai.v36i11.21723"},{"issue":"2","key":"1804_CR5","first-page":"159","volume":"21","author":"W-D TUN","year":"1978","unstructured":"TUN W-D (1978) On the decision problem and the mechanization of theorem-proving in elementary geometry. Sci Sinica 21(2):159\u2013172","journal-title":"Sci Sinica"},{"issue":"3","key":"1804_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W Wen-Tsun","year":"1986","unstructured":"Wen-Tsun W (1986) Basic principles of mechanical theorem proving in elementary geometries. J Autom Reason 2(3):221\u2013252","journal-title":"J Autom Reason"},{"issue":"4","key":"1804_CR7","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D Kapur","year":"1986","unstructured":"Kapur D (1986) Using gr\u00f6bner bases to reason about geometry problems. J Symb Comput 2(4):399\u2013408","journal-title":"J Symb Comput"},{"key":"1804_CR8","doi-asserted-by":"crossref","unstructured":"Seo MJ, Hajishirzi H, Farhadi A, Etzioni O (2014) Diagram understanding in geometry questions. In: AAAI, pp 2831\u20132838","DOI":"10.1609\/aaai.v28i1.9146"},{"key":"1804_CR9","doi-asserted-by":"crossref","unstructured":"Seo MJ, Hajishirzi H, Farhadi A, Etzioni O, Malcolm C (2015) Solving geometry problems: combining text and diagram interpretation. In: EMNLP, pp 1466\u20131476","DOI":"10.18653\/v1\/D15-1171"},{"issue":"9","key":"1804_CR10","doi-asserted-by":"publisher","first-page":"2287","DOI":"10.1109\/TPAMI.2019.2914054","volume":"42","author":"D Zhang","year":"2020","unstructured":"Zhang D, Wang L, Zhang L, Dai BT, Shen HT (2020) The gap of semantic parsing: a survey on automatic math word problem solvers. IEEE Trans Pattern Anal Mach Intell 42(9):2287\u20132305","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"1804_CR11","unstructured":"Rockt\u00e4schel T, Riedel S (2017) End-to-end differentiable proving. In: NIPS, pp 3788\u20133800"},{"key":"1804_CR12","unstructured":"Kaliszyk C, Urban J, Michalewski H, Ols\u00e1k M (2018) Reinforcement learning of theorem proving. In: NeurIPS, pp 8836\u20138847"},{"issue":"3","key":"1804_CR13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00881947","volume":"13","author":"R Letz","year":"1994","unstructured":"Letz R, Mayr K, Goller C (1994) Cotrolled integration of the cut rule into connection tableaux calculi. J Autom Reason 13(3):297\u2013337","journal-title":"J Autom Reason"},{"key":"1804_CR14","unstructured":"Selsam D, Lamm M, B\u00fcnz B, Liang P, de Moura L, Dill DL (2019) Learning a SAT solver from single-bit supervision. In: ICLR"},{"key":"1804_CR15","unstructured":"Lederman G, Rabe MN, Seshia S, Lee EA (2020) Learning heuristics for quantified boolean formulas through reinforcement learning. In: ICLR"},{"key":"1804_CR16","unstructured":"Schulman J, Wolski F, Dhariwal P, Radford A, Klimov O (2017) Proximal policy optimization algorithms. CoRR abs\/1707.06347"},{"key":"1804_CR17","unstructured":"Laskin M, Lee K, Stooke A, Pinto L, Abbeel P, Srinivas A (2020) Reinforcement learning with augmented data. CoRR abs\/2004.14990"},{"key":"1804_CR18","unstructured":"Krizhevsky A, Sutskever I, Hinton GE (2012) Imagenet classification with deep convolutional neural networks. In: NIPS, pp 1106\u20131114"},{"key":"1804_CR19","unstructured":"Simonyan K, Zisserman A (2015) Very deep convolutional networks for large-scale image recognition. In: ICLR"},{"key":"1804_CR20","doi-asserted-by":"crossref","unstructured":"Cubuk ED, Zoph B, Mane D, Vasudevan V, Le QV (2019) Autoaugment: Learning augmentation strategies from data. In: CVPR, pp 113\u2013123","DOI":"10.1109\/CVPR.2019.00020"},{"key":"1804_CR21","doi-asserted-by":"crossref","unstructured":"Bengio Y, Louradour J, Collobert R, Weston J (2009) Curriculum learning. In: Proceedings of the 26th annual international conference on machine learning, ICML 2009, Montreal, Quebec, Canada, June 14-18, 2009, pp 41\u201348","DOI":"10.1145\/1553374.1553380"},{"key":"1804_CR22","unstructured":"Jiang L, Zhou Z, Leung T, Li L, Fei-Fei L (2018) Mentornet: Learning data-driven curriculum for very deep neural networks on corrupted labels. In: ICML, pp 2309\u20132318"},{"key":"1804_CR23","doi-asserted-by":"crossref","unstructured":"Guo S, Huang W, Zhang H, Zhuang C, Dong D, Scott MR, Huang D (2018) Curriculumnet: Weakly supervised learning from large-scale web images. CoRR abs\/1808.01097","DOI":"10.1007\/978-3-030-01249-6_9"},{"key":"1804_CR24","doi-asserted-by":"crossref","unstructured":"Xu B, Zhang L, Mao Z, Wang Q, Xie H, Zhang Y (2020) Curriculum learning for natural language understanding. In: ACL, pp 6095\u20136104","DOI":"10.18653\/v1\/2020.acl-main.542"},{"key":"1804_CR25","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/BF00992696","volume":"8","author":"RJ Williams","year":"1992","unstructured":"Williams RJ (1992) Simple statistical gradient-following algorithms for connectionist reinforcement learning. Mach Learn 8:229\u2013256","journal-title":"Mach Learn"},{"issue":"2","key":"1804_CR26","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s41019-022-00186-4","volume":"7","author":"S Wu","year":"2022","unstructured":"Wu S, Li Y, Zhu H, Zhao J, Chen G (2022) Dynamic index construction with deep reinforcement learning. Data Sci Eng 7(2):87\u2013101","journal-title":"Data Sci Eng"},{"key":"1804_CR27","unstructured":"Mnih V, Badia AP, Mirza M, Graves A, Lillicrap TP, Harley T, Silver D, Kavukcuoglu K (2016) Asynchronous methods for deep reinforcement learning. In: ICML. JMLR workshop and conference proceedings, vol. 48, pp 1928\u20131937"},{"key":"1804_CR28","doi-asserted-by":"crossref","unstructured":"Hasselt H, Guez A, Silver D (2016) Deep reinforcement learning with double q-learning. In: AAAI, pp 2094\u20132100","DOI":"10.1609\/aaai.v30i1.10295"},{"key":"1804_CR29","unstructured":"Loshchilov I, Hutter F (2017) SGDR: stochastic gradient descent with warm restarts. In: ICLR"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-022-01804-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10115-022-01804-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-022-01804-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T03:17:25Z","timestamp":1679455045000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10115-022-01804-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,19]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,4]]}},"alternative-id":["1804"],"URL":"https:\/\/doi.org\/10.1007\/s10115-022-01804-3","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,19]]},"assertion":[{"value":"17 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 December 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 December 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}