{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T00:01:18Z","timestamp":1780617678672,"version":"3.54.1"},"reference-count":60,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2024,12,24]],"date-time":"2024-12-24T00:00:00Z","timestamp":1734998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12071282"],"award-info":[{"award-number":["12071282"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>Automatic geometric problem-solving is an active and challenging subfield at the intersection of AI and mathematics, where geometric problem parsing plays a critical role. It involves converting geometric diagram and text into certain formal language. Due to the complexity of geometric shapes and the diversity of geometric relationships, geometric problem parsing demands that the parser exhibit cross-modal comprehension and reasoning capabilities. In this paper, we propose an enhanced geometric problem parsing method called FGeo-Parser, which converts problem diagrams and text into the formal language of the FormalGeo. It also supports reverse formalization to generate human-like solutions, reflecting the symmetry between parsing and generating. Specifically, diagram parser leverages the BLIP to generate the construction CDL and image CDL, while text parser employs the T5 to produce the text CDL and goal CDL where these neural networks are both based on a symmetric encoder\u2013decoder architecture. With the assistance of a theorem predictor, these CDLs were automatically parsed and step-by-step reasoning was executed within FGPS. Finally, the reasoning process was input into a solution generator, which subsequently produced a human-like solution process. Additionally, we re-annotated problem diagrams and text based on the FormalGeo7K dataset. The formalization experiments on the new dataset achieved a match accuracy of 91.51% and a perfect accuracy of 56.47%, while the combination with the theorem predictor achieved a problem-solving accuracy of 63.45%.<\/jats:p>","DOI":"10.3390\/sym17010008","type":"journal-article","created":{"date-parts":[[2024,12,24]],"date-time":"2024-12-24T10:58:32Z","timestamp":1735037912000},"page":"8","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["FGeo-Parser: Autoformalization and Solution of Plane Geometric Problems"],"prefix":"10.3390","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2513-7060","authenticated-orcid":false,"given":"Na","family":"Zhu","sequence":"first","affiliation":[{"name":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China"},{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5678-7485","authenticated-orcid":false,"given":"Xiaokai","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qike","family":"Huang","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fangzhen","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9728-1114","authenticated-orcid":false,"given":"Zhenbing","family":"Zeng","sequence":"additional","affiliation":[{"name":"College of Sciences, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2921-3291","authenticated-orcid":false,"given":"Tuo","family":"Leng","sequence":"additional","affiliation":[{"name":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China"},{"name":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2024,12,24]]},"reference":[{"key":"ref_1","unstructured":"Selsam, D., de Moura, L., Buzzard, K., Barton, R., Liang, P., Loos, S., and Wiedijk, F. (2024, September 14). IMO Grand Challenge. Available online: https:\/\/imo-grand-challenge.github.io\/."},{"key":"ref_2","unstructured":"XTXMarkets (2024, September 14). Artificial Intelligence Mathematical Olympiad Prize (AIMO Prize). Available online: https:\/\/aimoprize.com\/."},{"key":"ref_3","unstructured":"Littman, M.L., Ajunwa, I., Berger, G., Boutilier, C., Currie, M., Doshi-Velez, F., Hadfield, G., Horowitz, M.C., Isbell, C., and Kitano, H. (2022). Gathering strength, gathering storms: The one hundred year study on artificial intelligence (AI100) 2021 study panel report. arXiv."},{"key":"ref_4","unstructured":"Gelernter, H.L. (1959, January 15\u201320). Realization of a geometry theorem proving machine. Proceedings of the IFIP Congress, Paris, France."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(75)90013-2","article-title":"Plane geometry theorem proving using forward chaining","volume":"6","author":"Nevins","year":"1975","journal-title":"Artif. Intell."},{"key":"ref_6","first-page":"157","article-title":"On the decision problem and the mechanization of theorem proving in elementary geometry","volume":"21","author":"Wu","year":"1978","journal-title":"Sci. Sin."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Buchberger, B. (1988). Applications of Gr\u00f6bner bases in non-linear computational geometry. Mathematical Aspects of Scientific Software, Springer.","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1006\/jsco.1993.1035","article-title":"An elimination method for polynomial systems","volume":"16","author":"Wang","year":"1993","journal-title":"J. Symb. Comput."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01531326","article-title":"Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems","volume":"13","author":"Zhang","year":"1995","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Lu, P., Gong, R., Jiang, S., Qiu, L., Huang, S., Liang, X., and Zhu, S.C. (2021, January 1\u20136). Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 1: Long Papers), Online.","DOI":"10.18653\/v1\/2021.acl-long.528"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Zou, J., Zhang, X., He, Y., Zhu, N., and Leng, T. (2024). FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning. Symmetry, 16.","DOI":"10.3390\/sym16040437"},{"key":"ref_12","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":"ref_13","doi-asserted-by":"crossref","unstructured":"Chen, J., Tang, J., Qin, J., Liang, X., Liu, L., Xing, E., and Lin, L. (2021, January 1\u20136). GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning. Proceedings of the Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, Online.","DOI":"10.18653\/v1\/2021.findings-acl.46"},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Zhang, M.L., Yin, F., and Liu, C.L. (2023, January 19\u201325). A Multi-Modal Neural Geometric Solver with Textual Clauses Parsed from Diagram. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, Macao, China.","DOI":"10.24963\/ijcai.2023\/376"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Xiao, T., Liu, J., Huang, Z., Wu, J., Sha, J., Wang, S., and Chen, E. (2024, January 3\u20139). Learning to Solve Geometry Problems via Simulating Human Dual-Reasoning Process. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, Jeju, Republic of Korea.","DOI":"10.24963\/ijcai.2024\/725"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Zhang, X., Zhu, N., He, Y., Zou, J., Qin, C., Li, Y., and Leng, T. (2024). FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning. Symmetry, 16.","DOI":"10.3390\/sym16040404"},{"key":"ref_17","unstructured":"Zhang, X., Zhu, N., He, Y., Zou, J., Huang, Q., Jin, X., Guo, Y., Mao, C., Li, Y., and Zhu, Z. (2024). FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving. arXiv."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"He, Y., Zou, J., Zhang, X., Zhu, N., and Leng, T. (2024). FGeo-TP: A Language Model-Enhanced Solver for Euclidean Geometry Problems. Symmetry, 16.","DOI":"10.3390\/sym16040421"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1006171315513","article-title":"A deductive database approach to automated geometry theorem proving and discovering","volume":"25","author":"Chou","year":"2000","journal-title":"J. Autom. Reason."},{"key":"ref_20","unstructured":"Yang, L., Zhang, J., and Li, C. (1992, January 17\u201319). A prover for parallel numerical verification of a class of constructive geometry theorems. Proceedings of the Proc. IWMM, St-Malo, France."},{"key":"ref_21","first-page":"799","article-title":"On the dimension of an arbitrary ascending chain","volume":"38","author":"Gao","year":"1993","journal-title":"Chin. Sci.-Bull. Engl. Ed."},{"key":"ref_22","unstructured":"Lu, Y. (1998, January 24\u201328). Practical automated reasoning on inequalities: Generic programs for inequality proving and discovering. Proceedings of the Third Asian Technology Conference in Mathematics, Tsukuba, Japan."},{"key":"ref_23","unstructured":"Wilson, S., and Fleuriot, J.D. (2006). Geometry Explorer: A tool for generating diagrammatic full-angle method proofs. Automated Deduction in Geometry: Extended Abstracts, Dialnet."},{"key":"ref_24","unstructured":"Ye, Z., Chou, S.C., and Gao, X.S. (2008, January 22\u201324). An introduction to java geometry expert. Proceedings of the Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai, China. Revised Papers 7."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00881858","article-title":"Automated production of traditional proofs in solid geometry","volume":"14","author":"Chou","year":"1995","journal-title":"J. Autom. Reason."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Yang, L., Gao, X.S., Chou, S.C., and Zhang, J.Z. (1996, January 27\u201329). Automated production of readable proofs for theorems in non-Euclidean geometries. Proceedings of the Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France. Selected Papers 1.","DOI":"10.1007\/BFb0022725"},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Seo, M., Hajishirzi, H., Farhadi, A., Etzioni, O., and Malcolm, C. (2015, January 17\u201321). Solving geometry problems: Combining text and diagram interpretation. Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, Lisbon, Portugal.","DOI":"10.18653\/v1\/D15-1171"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Alvin, C., Gulwani, S., Majumdar, R., and Mukhopadhyay, S. (2017, January 22\u201324). Synthesis of solutions for shaded area geometry problems. Proceedings of the Thirtieth International Flairs Conference, Marco Island, FL, USA.","DOI":"10.1007\/978-3-319-61425-0_39"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"1940005","DOI":"10.1142\/S0218001419400056","article-title":"A framework for solving explicit arithmetic word problems and proving plane geometry theorems","volume":"33","author":"Yu","year":"2019","journal-title":"Int. J. Pattern Recognit. Artif. Intell."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"1940003","DOI":"10.1142\/S0218001419400032","article-title":"Automatically proving plane geometry theorems stated by text and diagram","volume":"33","author":"Gan","year":"2019","journal-title":"Int. J. Pattern Recognit. Artif. Intell."},{"key":"ref_31","first-page":"83","article-title":"Automatic understanding and formalization of natural language geometry problems using syntax-semantics models","volume":"14","author":"Gan","year":"2018","journal-title":"Int. J. Innov. Comput. Inf. Control"},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"1940003","DOI":"10.1142\/S0218213019400037","article-title":"Automatic understanding and formalization of plane geometry proving problems in natural language: A supervised approach","volume":"28","author":"Gan","year":"2019","journal-title":"Int. J. Artif. Intell. Tools"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1162\/coli_a_00360","article-title":"Discourse in multimedia: A case study in extracting geometry knowledge from textbooks","volume":"45","author":"Sachan","year":"2020","journal-title":"Comput. Linguist."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Peng, S., Fu, D., Liang, Y., Gao, L., and Tang, Z. (2023, January 9\u201314). GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning. Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, Toronto, ON, Canada.","DOI":"10.18653\/v1\/2023.findings-acl.850"},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Tsai, S.H., Liang, C.C., Wang, H.M., and Su, K.Y. (2021, January 1\u20136). Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving. Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (Volume 2: Short Papers), Online.","DOI":"10.18653\/v1\/2021.acl-short.121"},{"key":"ref_36","doi-asserted-by":"crossref","unstructured":"Chen, J., Li, T., Qin, J., Lu, P., Lin, L., Chen, C., and Liang, X. (2022, January 7\u201311). UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, Abu Dhabi, United Arab Emirates.","DOI":"10.18653\/v1\/2022.emnlp-main.218"},{"key":"ref_37","unstructured":"Cao, J., and Xiao, J. (2022, January 12\u201317). An Augmented Benchmark Dataset for Geometric Question Answering through Dual Parallel Text Encoding. Proceedings of the 29th International Conference on Computational Linguistics, Gyeongju, Republic of Korea."},{"key":"ref_38","unstructured":"Ning, M., Wang, Q.F., Huang, K., and Huang, X. (November, January 29). A Symbolic Characters Aware Model for Solving Geometry Problems. Proceedings of the 31st ACM International Conference on Multimedia, MM \u201923, New York, NY, USA."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Zhang, J., and Moshfeghi, Y. (2024, January 16\u201321). GOLD: Geometry Problem Solver with Natural Language Description. Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2024, Mexico City, Mexico.","DOI":"10.18653\/v1\/2024.findings-naacl.19"},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"123400","DOI":"10.1016\/j.eswa.2024.123400","article-title":"Research on the application of knowledge mapping and knowledge structure construction based on adaptive learning model","volume":"249","author":"Zeng","year":"2024","journal-title":"Expert Syst. Appl."},{"key":"ref_41","doi-asserted-by":"crossref","unstructured":"Zhang, M.L., Yin, F., Hao, Y.H., and Liu, C.L. (2022, January 23\u201329). Plane Geometry Diagram Parsing. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22, Vienna, Austria.","DOI":"10.24963\/ijcai.2022\/228"},{"key":"ref_42","unstructured":"Murphy, L., Yang, K., Sun, J., Li, Z., Anandkumar, A., and Si, X. (2024, January 21\u201327). Autoformalizing Euclidean Geometry. Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Zhang, J., Li, Z.Z., Zhang, M.L., Yin, F., Liu, C.L., and Moshfeghi, Y. (2024, January 11\u201316). GeoEval: Benchmark for Evaluating LLMs and Multi-Modal Models on Geometry Problem-Solving. Proceedings of the Findings of the Association for Computational Linguistics ACL 2024, Bangkok, Thailand.","DOI":"10.18653\/v1\/2024.findings-acl.73"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Hao, Y., Zhang, M., Yin, F., and Huang, L.L. (2022, January 21\u201325). PGDP5K: A diagram parsing dataset for plane geometry problems. Proceedings of the 2022 26th International Conference on Pattern Recognition (ICPR), Montr\u00e9al, QC, Canada.","DOI":"10.1109\/ICPR56361.2022.9956397"},{"key":"ref_45","unstructured":"Zhang, X., Zhu, N., Qin, C., Yang, L., Zeng, Z., and Leng, T. (2024, January 14). Formal Representation and Solution of Plane Geometric Problems. Proceedings of the The 4th Workshop on Mathematical Reasoning and AI at NeurIPS\u201924, Vancouver, BC, Canada."},{"key":"ref_46","unstructured":"(2024, November 03). GeoGebra Geometry. Available online: https:\/\/mat.geogebra.org\/geometry."},{"key":"ref_47","unstructured":"(2024, November 07). Geometry\u2014GeoGebra\u2014geogebra.org. Available online: https:\/\/www.geogebra.org\/geometry."},{"key":"ref_48","unstructured":"Li, J., Li, D., Xiong, C., and Hoi, S. (2022, January 17\u201323). Blip: Bootstrapping language-image pre-training for unified vision-language understanding and generation. Proceedings of the International Conference on Machine Learning. PMLR, Baltimore, MD, USA."},{"key":"ref_49","unstructured":"Dosovitskiy, A., Beyer, L., Kolesnikov, A., Weissenborn, D., Zhai, X., Unterthiner, T., Dehghani, M., Minderer, M., Heigold, G., and Gelly, S. (2020). An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale. arXiv."},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"He, K., Zhang, X., Ren, S., and Sun, J. (2016, January 27\u201330). Deep residual learning for image recognition. Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, Las Vegas, NV, USA.","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref_51","unstructured":"Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A.N., Kaiser, L., and Polosukhin, I. (2017, January 4\u20139). Attention is all you need. Proceedings of the 31st International Conference on Neural Information Processing Systems, Long Beach, CA, USA."},{"key":"ref_52","doi-asserted-by":"crossref","unstructured":"Yang, X., Zhang, H., Qi, G., and Cai, J. (2021, January 20\u201325). Causal attention for vision-language tasks. Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, Nashville, TN, USA.","DOI":"10.1109\/CVPR46437.2021.00972"},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Sennrich, R. (2015). Neural machine translation of rare words with subword units. arXiv.","DOI":"10.18653\/v1\/P16-1162"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","article-title":"A mathematical theory of communication","volume":"27","author":"Shannon","year":"1948","journal-title":"Bell Syst. Tech. J."},{"key":"ref_55","unstructured":"Loshchilov, I., and Hutter, F. (2016). Sgdr: Stochastic gradient descent with warm restarts. arXiv."},{"key":"ref_56","first-page":"1","article-title":"Exploring the limits of transfer learning with a unified text-to-text transformer","volume":"21","author":"Raffel","year":"2020","journal-title":"J. Mach. Learn. Res."},{"key":"ref_57","unstructured":"Zhang, Z., Cheng, J.K., Deng, J., Tian, L., Ma, J., Qin, Z., Zhang, X., Zhu, N., and Leng, T. (2024). Diagram Formalization Enhanced Multi-Modal Geometry Problem Solver. arXiv."},{"key":"ref_58","doi-asserted-by":"crossref","unstructured":"Papineni, K., Roukos, S., Ward, T., and Zhu, W.J. (2002, January 6\u201312). Bleu: A method for automatic evaluation of machine translation. Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics, Philadelphia, PA, USA.","DOI":"10.3115\/1073083.1073135"},{"key":"ref_59","unstructured":"Zhang, X., Zhu, N., He, Y., Zou, J., Qin, C., Li, Y., Zeng, Z., and Leng, T. (2024). FGeo-HyperGNet: Geometry Problem Solving Integrating Formal Symbolic System and Hypergraph Neural Network. arXiv."},{"key":"ref_60","doi-asserted-by":"crossref","unstructured":"Graves, A., and Graves, A. (2012). Long short-term memory. Supervised Sequence Labelling with Recurrent Neural Networks. [Ph.D. Thesis, Carnegie Mellon University].","DOI":"10.1007\/978-3-642-24797-2"}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/17\/1\/8\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T16:59:33Z","timestamp":1760115573000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/17\/1\/8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,24]]},"references-count":60,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,1]]}},"alternative-id":["sym17010008"],"URL":"https:\/\/doi.org\/10.3390\/sym17010008","relation":{},"ISSN":["2073-8994"],"issn-type":[{"value":"2073-8994","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,24]]}}}