{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:55:47Z","timestamp":1767772547258,"version":"3.37.3"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,26]],"date-time":"2023-08-26T00:00:00Z","timestamp":1693008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1909204,U1811463,62076237,T2192933,U19B2029"],"award-info":[{"award-number":["U1909204,U1811463,62076237,T2192933,U19B2029"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,26]]},"DOI":"10.1109\/case56687.2023.10260539","type":"proceedings-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T17:32:23Z","timestamp":1695922343000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Geometry Problem Solving Based on Counter-Factual Evolutionary Reasoning"],"prefix":"10.1109","author":[{"given":"Bing","family":"Song","sequence":"first","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The State Key Laboratory of Management and Control for Complex Systems,Beijing,China"}]},{"given":"Gang","family":"Xiong","sequence":"additional","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The State Key Laboratory of Management and Control for Complex Systems,Beijing,China"}]},{"given":"Zhen","family":"Shen","sequence":"additional","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The Beijing Engineering Research Center of Intelligent Systems and Technology,China"}]},{"given":"Fenghua","family":"Zhu","sequence":"additional","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The State Key Laboratory of Management and Control for Complex Systems,Beijing,China"}]},{"given":"Yisheng","family":"Lv","sequence":"additional","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The State Key Laboratory of Management and Control for Complex Systems,Beijing,China"}]},{"given":"Peijun","family":"Ye","sequence":"additional","affiliation":[{"name":"Institute of Automation, Chinese Academy of Sciences,The State Key Laboratory of Management and Control for Complex Systems,Beijing,China"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.703"},{"key":"ref12","article-title":"Generative question answering: Learning to answer the whole question","author":"lewis","year":"2019","journal-title":"Proceedings of the 7th International Conference on Learning Representations"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-long.528"},{"journal-title":"Interpretable counterfactual explanations guided by prototypes","year":"2020","author":"looveren","key":"ref14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46493-0_15"},{"key":"ref10","article-title":"Figureqa: An annotated figure dataset for visual reasoning","author":"kahou","year":"2018","journal-title":"Proceesings of the 6th International Conference on Learning Representations"},{"key":"ref2","article-title":"Neurquri: Neural question requirement inspector for answerability prediction in machine reading comprehension","author":"back","year":"2020","journal-title":"proceedings of the 8th International Conference on Learning Representations"},{"journal-title":"Wasserstein GAN","year":"2017","author":"arjovsky","key":"ref1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.11671"},{"key":"ref16","first-page":"204","article-title":"Geometry skill analysis in problem solving reviewed from the difference of cognitive style students junior high school","volume":"3","author":"saparuddin","year":"2017","journal-title":"J Science Education and Technology"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/S17-1029"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00012"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","article-title":"Basic principles of mechanical theorem proving in elementary geometries","volume":"2","author":"wu","year":"1986","journal-title":"Journal of Automated Reasoning"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1171"},{"key":"ref26","article-title":"Learning to count objects in natural images for visual question answering","author":"zhang","year":"2018","journal-title":"Proceesings of the 6th International Conference on Learning Representations"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001419400056"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1081"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v28i1.9146"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1162\/coli_a_00360"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1083"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"ref9","article-title":"Gamepad: A learning environment for theorem proving","author":"huang","year":"2019","journal-title":"Proceedings of the 7th International Conference on Learning Representations"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1003134323371"},{"journal-title":"RelNet End-to-end Modeling of Entities & Relations","year":"2017","author":"bansal","key":"ref3"},{"key":"ref6","article-title":"Bert: Pre-training of deep bidirectional transformers for language understanding","author":"devlin","year":"2018","journal-title":"Proceedings of Annual Conference of the North American Chapter of the Association for Computational Linguistics Human Language Technologies (NAACL)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00283133"}],"event":{"name":"2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)","start":{"date-parts":[[2023,8,26]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2023,8,30]]}},"container-title":["2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10260321\/10260291\/10260539.pdf?arnumber=10260539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T17:55:45Z","timestamp":1697478945000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10260539\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,26]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/case56687.2023.10260539","relation":{},"subject":[],"published":{"date-parts":[[2023,8,26]]}}}