{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T21:13:56Z","timestamp":1776719636984,"version":"3.51.2"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Multimedia"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tmm.2026.3651076","type":"journal-article","created":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:39:22Z","timestamp":1767638362000},"page":"2876-2887","source":"Crossref","is-referenced-by-count":0,"title":["GeoTree: A Dynamic Tree-Based Geometry Problem Solver Through LLM-Symbolic Reasoning"],"prefix":"10.1109","volume":"28","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3193-3658","authenticated-orcid":false,"given":"Yaxian","family":"Wang","sequence":"first","affiliation":[{"name":"School of Information Engineering, Chang'an University, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9732-3011","authenticated-orcid":false,"given":"Bifan","family":"Wei","sequence":"additional","affiliation":[{"name":"Ministry of Education Key Laboratory of Intelligent Networks and Network Security, and School of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinghong","family":"Ma","sequence":"additional","affiliation":[{"name":"Shaanxi Province Key Laboratory of Big Data Knowledge Engineering, and School of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8136-8795","authenticated-orcid":false,"given":"Lingling","family":"Zhang","sequence":"additional","affiliation":[{"name":"Shaanxi Province Key Laboratory of Big Data Knowledge Engineering, and School of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9104-2315","authenticated-orcid":false,"given":"Xudong","family":"Jiang","sequence":"additional","affiliation":[{"name":"School of Electrical and Electronic Engineering, Nanyang Technological University (NTU), Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4868-6526","authenticated-orcid":false,"given":"Henghui","family":"Ding","sequence":"additional","affiliation":[{"name":"Institute of Big Data, Fudan University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6004-0675","authenticated-orcid":false,"given":"Jun","family":"Liu","sequence":"additional","affiliation":[{"name":"Ministry of Education Key Laboratory of Intelligent Networks and Network Security, and School of Computer Science and Technology, Xi'an Jiaotong University, Xi'an, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1171"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1162\/coli_a_00360"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-long.528"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-long.817"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.850"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.46"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.emnlp-main.218"},{"key":"ref8","first-page":"1511","article-title":"An augmented benchmark dataset for geometric question answering through dual parallel text encoding","volume-title":"Proc. 29th Int. Conf. Comput. Linguistics","author":"Cao","year":"2022"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3581783.3612570"},{"key":"ref10","article-title":"GPT-4o system card","author":"Hurst","year":"2024"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.67"},{"key":"ref12","article-title":"Augmented language models: A survey","author":"Mialon","year":"2023","journal-title":"Trans. Mach. Learn. Res."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2024.3352397"},{"key":"ref14","article-title":"Sparks of artificial general intelligence: Early experiments with GPT-4","author":"Bubeck","year":"2023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1800"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2022\/228"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001419400032"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213019400037"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1081"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CASE56687.2023.10260539"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2023\/376"},{"key":"ref22","first-page":"2596","article-title":"LANS: A layout-aware neural solver for plane geometry problem","volume-title":"Proc. Findings Assoc. Comput. Linguistics","author":"Zhang","year":"2023"},{"key":"ref23","article-title":"Fuse, reason and verify: Geometry problem solving with parsed clauses from diagram","author":"Zhang","year":"2024"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2024.findings-naacl.19"},{"key":"ref25","article-title":"Hologram reasoning for solving Algebra problems with geometry diagrams","author":"Huang","year":"2024"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-023-06747-5"},{"key":"ref27","article-title":"Least-to-most prompting enables complex reasoning in large language models","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Zhou","year":"2022"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-industry.4"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-acl.364"},{"key":"ref30","article-title":"Solving challenging math word problems using GPT-4 code interpreter with code-based self-verification","volume-title":"Proc. 12th Int. Conf. Learn. Representations","author":"Zhou","year":"2023"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i13.26896"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.52202\/075280-0517"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i16.29720"},{"key":"ref34","article-title":"Measuring mathematical problem solving with the math dataset","volume-title":"Proc. 35th Conf. Neural Inf. Process. Syst. Datasets Benchmarks Track (Round 2)","author":"Hendrycks","year":"2021"},{"key":"ref35","first-page":"3843","article-title":"Solving quantitative reasoning problems with language models","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"35","author":"Lewkowycz","year":"2022"},{"issue":"240","key":"ref36","first-page":"1","article-title":"Palm: Scaling language modeling with pathways","volume":"24","author":"Chowdhery","year":"2023","journal-title":"J. Mach. Learn. Res."},{"key":"ref37","first-page":"10764","article-title":"PAL: Program-aided language models","volume-title":"Proc. Int. Conf. Mach. Learn.","author":"Gao","year":"2023"},{"key":"ref38","article-title":"Program of thoughts prompting: Disentangling computation from reasoning for numerical reasoning tasks","author":"Chen","year":"2023","journal-title":"Trans. Mach. Learn. Res."},{"key":"ref39","article-title":"Solving math word problems by combining language models with symbolic solvers","volume-title":"Proc. 3rd Workshop Math. Reasoning AI","author":"He-Yueya","year":"2023"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.55"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.169"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75538-8_7"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/11871842_29"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2012.2186810"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1038\/nature24270"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2022.3165718"},{"key":"ref48","article-title":"Self-consistency improves chain of thought reasoning in language models","volume-title":"Proc. 11th Int. Conf. Learn. Representations","author":"Wang","year":"2022"},{"key":"ref49","article-title":"OpenAI O1 system card","author":"Jaech","year":"2024"}],"container-title":["IEEE Transactions on Multimedia"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6046\/11342315\/11329202.pdf?arnumber=11329202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T20:05:27Z","timestamp":1776715527000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11329202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/tmm.2026.3651076","relation":{},"ISSN":["1520-9210","1941-0077"],"issn-type":[{"value":"1520-9210","type":"print"},{"value":"1941-0077","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}