{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T19:03:39Z","timestamp":1790881419071,"version":"4.1.0"},"reference-count":66,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.knosys.2026.116598","type":"journal-article","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T12:47:48Z","timestamp":1783601268000},"page":"116598","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"special_numbering":"PA","title":["PathSymphony: Harmonizing symbolic planning and Large Language Models for curriculum-guided mathematical reasoning"],"prefix":"10.1016","volume":"351","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-6345-7990","authenticated-orcid":false,"given":"Mingqiao","family":"Mo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7773-3199","authenticated-orcid":false,"given":"Hao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yunlong","family":"Tan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4691-6212","authenticated-orcid":false,"given":"Bo","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8243-8618","authenticated-orcid":false,"given":"Chengcheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.knosys.2026.116598_b1","series-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b2","series-title":"Gemini: A family of highly capable multimodal models","author":"Team","year":"2025"},{"key":"10.1016\/j.knosys.2026.116598_b3","doi-asserted-by":"crossref","first-page":"24824","DOI":"10.52202\/068431-1800","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume":"35","author":"Wei","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.knosys.2026.116598_b4","first-page":"11809","article-title":"Tree of thoughts: Deliberate problem solving with large language models","volume":"vol. 36","author":"Yao","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b5","series-title":"Findings of the Association for Computational Linguistics: ACL 2024","first-page":"1638","article-title":"Everything of thoughts: Defying the law of Penrose triangle for thought generation","author":"Ding","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b6","series-title":"AAAI","first-page":"17682","article-title":"Graph of thoughts: Solving elaborate problems with large language models","author":"Besta","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b7","article-title":"SearchExpert: A genai-driven framework for reasoning-intensive multimedia information fusion through fine-tuning and reinforcement learning","author":"Li","year":"2025","journal-title":"Inf. Fusion"},{"key":"10.1016\/j.knosys.2026.116598_b8","article-title":"Fedsi: Federated subnetwork inference for efficient uncertainty quantification","author":"Chen","year":"2025","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"10.1016\/j.knosys.2026.116598_b9","article-title":"Federated neural nonparametric point processes","author":"Chen","year":"2025","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.knosys.2026.116598_b10","unstructured":"M. Nye, A.J. Andreassen, G. Gur-Ari, H. Michalewski, J. Austin, D. Bieber, D. Dohan, A. Lewkowycz, M. Bosma, D. Luan, C. Sutton, A. Odena, Show Your Work: Scratchpads for Intermediate Computation with Language Models, in: Deep Learning for Code Workshop, 2022."},{"key":"10.1016\/j.knosys.2026.116598_b11","first-page":"3843","article-title":"Solving quantitative reasoning problems with language models","volume":"vol. 35","author":"Lewkowycz","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b12","series-title":"Scaling instruction-finetuned language models","author":"Chung","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b13","doi-asserted-by":"crossref","first-page":"46534","DOI":"10.52202\/075280-2019","article-title":"Self-refine: Iterative refinement with self-feedback","volume":"36","author":"Madaan","year":"2023","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.knosys.2026.116598_b14","series-title":"Self-critiquing models for assisting human evaluators","author":"Saunders","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b15","series-title":"Proceedings of the 41st International Conference on Machine Learning","first-page":"6621","article-title":"Self-play fine-tuning converts weak language models to strong language models","volume":"vol. 235","author":"Chen","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b16","unstructured":"L. Yuan, G. Cui, H. Wang, N. Ding, X. Wang, J. Deng, B. Shan, H. Chen, R. Xie, Y. Lin, Z. Liu, B. Zhou, H. Peng, Z. Liu, M. Sun, Advancing LLM Reasoning Generalists with Preference Trees, in: AI for Math Workshop @ ICML 2024, 2024."},{"key":"10.1016\/j.knosys.2026.116598_b17","unstructured":"W. Yuan, R.Y. Pang, K. Cho, X. Li, S. Sukhbaatar, J. Xu, J.E. Weston, Self-Rewarding Language Models, in: Forty-First International Conference on Machine Learning, 2024."},{"key":"10.1016\/j.knosys.2026.116598_b18","unstructured":"K. Valmeekam, A. Olmo, S. Sreedharan, S. Kambhampati, Large Language Models Still Can\u2019t Plan (A Benchmark for LLMs on Planning and Reasoning about Change), in: NeurIPS 2022 Foundation Models for Decision Making Workshop, 2022."},{"key":"10.1016\/j.knosys.2026.116598_b19","unstructured":"K. Stechly, K. Valmeekam, S. Kambhampati, On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks, 2024, arXiv:2402.08115."},{"key":"10.1016\/j.knosys.2026.116598_b20","series-title":"Large language models cannot self-correct reasoning yet","author":"Huang","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b21","doi-asserted-by":"crossref","unstructured":"R. Hong, H. Zhang, X. Pang, D. Yu, C. Zhang, A closer look at the self-verification abilities of large language models in logical reasoning, in: Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024, pp. 900\u2013925.","DOI":"10.18653\/v1\/2024.naacl-long.52"},{"issue":"7587","key":"10.1016\/j.knosys.2026.116598_b22","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1038\/nature16961","article-title":"Mastering the game of go with deep neural networks and tree search","volume":"529","author":"Silver","year":"2016","journal-title":"Nature"},{"key":"10.1016\/j.knosys.2026.116598_b23","series-title":"Mastering chess and shogi by self-play with a general reinforcement learning algorithm","author":"Silver","year":"2017"},{"key":"10.1016\/j.knosys.2026.116598_b24","series-title":"Tree of thoughts: Deliberate problem solving with large language models","author":"Yao","year":"2023"},{"issue":"7995","key":"10.1016\/j.knosys.2026.116598_b25","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1038\/s41586-023-06747-5","article-title":"Solving olympiad geometry without human demonstrations","volume":"625","author":"Trinh","year":"2024","journal-title":"Nature"},{"key":"10.1016\/j.knosys.2026.116598_b26","series-title":"Enhancing mathematical reasoning in LLMs by stepwise correction","author":"Wu","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b27","article-title":"AI-induced guidance: Preserving the optimal zone of proximal development","volume":"3","year":"2022","journal-title":"Comput. Educ.: Artif. Intell."},{"key":"10.1016\/j.knosys.2026.116598_b28","series-title":"Monte Carlo thought search: Large language model querying for complex scientific reasoning in catalyst design","author":"Sprueill","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b29","series-title":"CMCTS: A constrained Monte Carlo tree search framework for mathematical reasoning in large language model","author":"Lin","year":"2025"},{"key":"10.1016\/j.knosys.2026.116598_b30","series-title":"Towards self-improvement of LLMs via MCTS: Leveraging stepwise knowledge with curriculum preference learning","author":"Wang","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b31","series-title":"ReST-MCTS*: LLM self-training via process reward guided tree search","author":"Zhang","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b32","article-title":"Measuring mathematical problem solving with the MATH dataset","author":"Hendrycks","year":"2021","journal-title":"NeurIPS"},{"key":"10.1016\/j.knosys.2026.116598_b33","series-title":"OlympicArena: Benchmarking multi-discipline cognitive reasoning for superintelligent AI","author":"Huang","year":"2025"},{"key":"10.1016\/j.knosys.2026.116598_b34","doi-asserted-by":"crossref","unstructured":"W. Zhong, R. Cui, Y. Guo, Y. Liang, S. Lu, Y. Wang, A. Saied, W. Chen, N. Duan, Agieval: A human-centric benchmark for evaluating foundation models, in: Findings of the Association for Computational Linguistics: NAACL 2024, 2024, pp. 2299\u20132314.","DOI":"10.18653\/v1\/2024.findings-naacl.149"},{"key":"10.1016\/j.knosys.2026.116598_b35","series-title":"MathDial: A dialogue tutoring dataset with rich pedagogical properties grounded in math reasoning problems","author":"Macina","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b36","series-title":"Omni-MATH: A universal olympiad level mathematic benchmark for large language models","author":"Gao","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b37","series-title":"Llemma: An open language model for mathematics","author":"Azerbayev","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b38","series-title":"Solving quantitative reasoning problems with language models","author":"Lewkowycz","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b39","first-page":"48362","article-title":"Tora: A tool-integrated reasoning agent for mathematical problem solving","volume":"vol. 2024","author":"Gou","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b40","series-title":"Leveraging online olympiad-level math problems for LLMs training and contamination-resistant evaluation","author":"Mahdavi","year":"2025"},{"key":"10.1016\/j.knosys.2026.116598_b41","series-title":"Plane geometry diagram parsing","author":"Zhang","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b42","series-title":"Rethinking benchmark and contamination for language models with rephrased samples","author":"Yang","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b43","series-title":"Neurosymbolic AI: The 3rd wave","author":"d\u2019Avila Garcez","year":"2020"},{"key":"10.1016\/j.knosys.2026.116598_b44","series-title":"Making PPO even better: Value-guided Monte-Carlo tree search decoding","author":"Liu","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b45","series-title":"Alphazero-like tree-search can guide large language model decoding and training","author":"Feng","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b46","unstructured":"Z. Azerbayev, H. Schoelkopf, K. Paster, M.D. Santos, S.M. McAleer, A.Q. Jiang, J. Deng, S. Biderman, S. Welleck, Llemma: An Open Language Model for Mathematics, in: The Twelfth International Conference on Learning Representations, 2024."},{"key":"10.1016\/j.knosys.2026.116598_b47","series-title":"TacticZero: Learning to prove theorems from scratch with deep reinforcement learning","author":"Wu","year":"2021"},{"key":"10.1016\/j.knosys.2026.116598_b48","series-title":"Language models are greedy reasoners: A systematic formal analysis of chain-of-thought","author":"Saparov","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b49","series-title":"Training verifiers to solve math word problems","author":"Cobbe","year":"2021"},{"key":"10.1016\/j.knosys.2026.116598_b50","series-title":"Solving math word problems with process- and outcome-based feedback","author":"Uesato","year":"2022"},{"key":"10.1016\/j.knosys.2026.116598_b51","unstructured":"H. Lightman, V. Kosaraju, Y. Burda, H. Edwards, B. Baker, T. Lee, J. Leike, J. Schulman, I. Sutskever, K. Cobbe, Let\u2019s Verify Step by Step, in: The Twelfth International Conference on Learning Representations, 2024."},{"key":"10.1016\/j.knosys.2026.116598_b52","series-title":"Self-instruct: Aligning language models with self-generated instructions","author":"Wang","year":"2023"},{"issue":"5","key":"10.1016\/j.knosys.2026.116598_b53","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/s10994-026-07039-5","article-title":"Figbo: A generalized acquisition function framework with look-ahead capability for Bayesian optimization","volume":"115","author":"Chen","year":"2026","journal-title":"Mach. Learn."},{"key":"10.1016\/j.knosys.2026.116598_b54","series-title":"Claude: A next-generation AI assistant","author":"Anthropic","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b55","series-title":"ChatGPT-o3-mini: A lightweight variant of GPT-4 series","author":"OpenAI","year":"2024"},{"key":"10.1016\/j.knosys.2026.116598_b56","series-title":"Gemini: Next-generation multimodal AI from google DeepMind","author":"Google DeepMind","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b57","series-title":"Doubao: A multimodal large model by alibaba DAMO academy","author":"Alibaba DAMO Academy","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b58","series-title":"Qwen technical report","author":"Bai","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b59","doi-asserted-by":"crossref","first-page":"357","DOI":"10.52202\/079017-0012","article-title":"Decompose, analyze and rethink: Solving intricate problems with human-like reasoning cycle","volume":"37","author":"Xue","year":"2024","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.knosys.2026.116598_b60","series-title":"Selfcheck: Using llms to zero-shot check their own step-by-step reasoning","author":"Miao","year":"2023"},{"key":"10.1016\/j.knosys.2026.116598_b61","doi-asserted-by":"crossref","unstructured":"Y. Weng, M. Zhu, F. Xia, B. Li, S. He, S. Liu, B. Sun, K. Liu, J. Zhao, Large language models are better reasoners with self-verification, in: Findings of the Association for Computational Linguistics: EMNLP 2023, 2023, pp. 2550\u20132575.","DOI":"10.18653\/v1\/2023.findings-emnlp.167"},{"key":"10.1016\/j.knosys.2026.116598_b62","doi-asserted-by":"crossref","first-page":"36407","DOI":"10.52202\/075280-1580","article-title":"Deductive verification of chain-of-thought reasoning","volume":"36","author":"Ling","year":"2023","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"10.1016\/j.knosys.2026.116598_b63","doi-asserted-by":"crossref","unstructured":"Z. Ma, J. Liu, X. Luo, Z. Huang, Q. Zhu, W. Che, Advancing tool-augmented large language models via meta-verification and reflection learning, in: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V. 2, 2025, pp. 2078\u20132089.","DOI":"10.1145\/3711896.3736835"},{"key":"10.1016\/j.knosys.2026.116598_b64","series-title":"Verifying large language models\u2019 reasoning paths via correlation matrix rank","author":"Liu","year":"2025"},{"key":"10.1016\/j.knosys.2026.116598_b65","doi-asserted-by":"crossref","unstructured":"J. Liu, Z. Huang, Z. Ma, Q. Liu, E. Chen, T. Su, H. Liu, Guiding mathematical reasoning via mastering commonsense formula knowledge, in: Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023, pp. 1477\u20131488.","DOI":"10.1145\/3580305.3599375"},{"key":"10.1016\/j.knosys.2026.116598_b66","article-title":"Knowledge-centered dual-process reasoning for math word problems with large language models","author":"Liu","year":"2025","journal-title":"IEEE Trans. Knowl. Data Eng."}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705126013249?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705126013249?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,9,13]],"date-time":"2026-09-13T14:48:00Z","timestamp":1789310880000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705126013249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":66,"alternative-id":["S0950705126013249"],"URL":"https:\/\/doi.org\/10.1016\/j.knosys.2026.116598","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"PathSymphony: Harmonizing symbolic planning and Large Language Models for curriculum-guided mathematical reasoning","name":"articletitle","label":"Article Title"},{"value":"Knowledge-Based Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.knosys.2026.116598","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"116598"}}