{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T09:46:54Z","timestamp":1774000014127,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","funder":[{"name":"Supported by the Jinhua Municipal Key Science and Technology Plan Project","award":["2026-3-110"],"award-info":[{"award-number":["2026-3-110"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,12,12]]},"DOI":"10.1145\/3788149.3788201","type":"proceedings-article","created":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T06:35:19Z","timestamp":1773988519000},"page":"7-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Discovery of Geometry Theorems via Invariant Learning on Configuration Dataset"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9728-1114","authenticated-orcid":false,"given":"Zhenbing","family":"Zeng","sequence":"first","affiliation":[{"name":"Shandong Xiehe University, Jinan, Shandong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0487-259X","authenticated-orcid":false,"given":"Jian","family":"Lu","sequence":"additional","affiliation":[{"name":"College of Sciences, Shanghai University, Shanghai, Sanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5039-2781","authenticated-orcid":false,"given":"Yaochen","family":"Xu","sequence":"additional","affiliation":[{"name":"College of Sciences, Shanghai University, Shanghai, Sanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3100-5976","authenticated-orcid":false,"given":"Bin","family":"Wu","sequence":"additional","affiliation":[{"name":"Shanghai University of Finance and Economics Zhejiang College, Jinhua, Zhejiang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,19]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"crossref","unstructured":"Herbert L. Gelernter John Renner Hansen and Donald W. Loveland \u201cEmpirical explorations of the geometry-theorem proving machine \u201d Proc. West. Joint Computer Conf. pp. 143\u2013147 1960.","DOI":"10.1145\/1460361.1460381"},{"key":"e_1_3_3_1_3_2","unstructured":"Wu Wen-ts\u00fcn \u201cOn the decision problem and the mechanization of theorem in elementary geometry \u201d Scientia Sinica vol. 21 pp 159\u2013172 1978."},{"key":"e_1_3_3_1_4_2","unstructured":"Shang-ching Chou \u201cProving and Discovering Geometry Theorems Using Wu\u2019s Method \u201d Ph.D Thesis Dept. of Math. University of Texas Austin 1985."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Deepak Kapur \u201cGeometry theorem proving using hilbert\u2019s nullstellensatz \u201d In Proceedings of the fifth ACM symposium on Symbolic and algebraic computation pp 202\u2013208 1986.","DOI":"10.1145\/32439.32479"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Deepak Kapur \u201cUsing Gr\u00f6bner bases to reason about geometry problems \u201d Journal of Symbolic Computation vol. 2 no. 4 pp 399\u2013408 1986.","DOI":"10.1016\/S0747-7171(86)80007-4"},{"key":"e_1_3_3_1_7_2","unstructured":"Shang-Ching Chou Xiao-Shan Gao and Jing-Zhong Zhang \u201cAutomated production of traditional proofs for theorems in Euclidean geometry IV A Collection of 400 Geometry Theorems \u201d TR-92-7 Department of Computer Science WSU 1992."},{"key":"e_1_3_3_1_8_2","unstructured":"Shang-Ching Chou Xiao-Shan Gao and Jing-Zhong Zhang Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems World Scientific Singapore 1994."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Ryan Krueger Jesse Michael Han and Daniel Selsam \u201cAutomatically building diagrams for olympiad geometry problems \u201d In CADE 2021 LNAI 12699 pp 577\u2013588 2021.","DOI":"10.1007\/978-3-030-79876-5_33"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Trieu H. Trinh Yuhuai Wu Quoc V. Le He He and Thang Luong \u201cSolving olympiad geometry without human demonstrations \u201d Nature 625 476\u2013482 2024.","DOI":"10.1038\/s41586-023-06747-5"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Bartosz Naskr\u0229cki Ken Ono \u201cMathematical discovery in the age of artificial intelligence \u201d Nature Physics vol. 21 pp 1504\u20131506 2025.","DOI":"10.1038\/s41567-025-03042-0"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Tom\u00e1s Recio M. Pilar V\u00e9lez \u201cAutomatic discovery of theorems in elementary geometry \u201d Journal of Automated Reasoning vol. 23 pp 63\u201382 1999.","DOI":"10.1023\/A:1006135322108"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Antonio Montes Tom\u00e1s Recio \u201cAutomatic discovery of geometry theorems using minimal canonical comprehensive Gr\u00f6bner systems \u201d ADG\u201906: Proceedings of the 6th international conference on Automated deduction in geometry pp 113\u2013138 2006.","DOI":"10.1007\/978-3-540-77356-6_8"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Jie Zhou Dingkang Wang Yao Sun \u201cAutomated reducible geometric theorem proving and discovery by Gr\u00f6bner basis method \u201d Journal of Automated Reasoning 59 pp 331\u2013344 2017.","DOI":"10.1007\/s10817-016-9395-z"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"crossref","unstructured":"Philip Todd \u201cAutomated discovery of angle theorems \u201d Ann Math Artif Intell 91 pp 753\u2013778 2023.","DOI":"10.1007\/s10472-023-09841-6"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Omar Monta\u00f1o-Rivas Roy L. McCasland Lucas Dixon and Alan Bundy \u201cScheme-based theorem discovery and concept invention \u201d Expert Systems with Applications vol. 39 no. 2 pp 1637\u20131646 2012.","DOI":"10.1016\/j.eswa.2011.06.055"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Alan Bundy Roy McCasland Patrick Smith \u201cMATHsAiD: automated mathematical theory exploration \u201d Applied Intelligence vol. 47 no. 3 pp 585\u2013606 2017.","DOI":"10.1007\/s10489-017-0954-8"},{"key":"e_1_3_3_1_18_2","unstructured":"Anshula Gandhi Anand Rao Tadipatri Timothy Gowers \u201cAutomatically generalizing proofs and statements \u201d In 16th International Conference on Interactive Theorem Proving (ITP 2025). Leibniz International Proceedings in Informatics (LIPIcs) vol. 352 pp 12:1\u201312:18 Schloss Dagstuhl Leibniz Zentrum f\u00fcr Informatik 2025."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Albert Luther Candy \u201cA general theorem relating to transversals and its consequences \u201d Annals of Mathematics vol. 11 no. 1\/6 pp 10\u201319 1896.","DOI":"10.2307\/1967209"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"crossref","unstructured":"Xiang Sun Zhenbing Zeng \u201cA study on computer consciousness on intuitive geometry based on mathematics experiments and statistical analysis \u201d Advances in Pure Mathematics vol. 11 pp 671\u2013686 2021.","DOI":"10.4236\/apm.2021.118045"},{"key":"e_1_3_3_1_21_2","unstructured":"Andr\u00e9 Miquel \u201cM\u00e9moire de G\u00e9om\u00e9trie \u201d Journal de Math\u00e9matiques Pures et Appliqu\u00e9es de Liouville vol. 1 pp 485\u2013487. 1838."},{"key":"e_1_3_3_1_22_2","unstructured":"Arthur Cayley \u201cOn a theorem in the geometry of position \u201d Cambridge Mathematical Journal 2 267\u2013271. 1841."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Leonard M. Blumenthal Theory and Applications of Distance Geometry The Mathematical Gazette 38 216. 1954.","DOI":"10.2307\/3609047"},{"key":"e_1_3_3_1_24_2","unstructured":"Lu Yang Jingzhong Zhang \u201cOn the concept of rank of abstract metric spaces \u201d Journal of University of Sci. and Tech. of China vol. 10 no. 4 pp 52\u201362. 1980."},{"key":"e_1_3_3_1_25_2","unstructured":"Richard Zippel \u201cSymbolic and algebraic computation \u201d EUROSAM \u201979 An International Symposium on Symbolic and Algebraic Computation Marseille France June 1979 Proceedings. Springer."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Jacob T. Schwartz \u201cFast probabilistic algorithms for verification of polynomial identities \u201d Journal of the ACM vol. 27 no. 4 pp 701\u2013717. 1980.","DOI":"10.1145\/322217.322225"},{"key":"e_1_3_3_1_27_2","unstructured":"Roger A. Johnson Advanced Euclidean Geometry. Dover Publ. p. 186. 2007."},{"key":"e_1_3_3_1_28_2","unstructured":"William Dunham The genius of Euler: reflections on his Life and work. Mathematical Association of America p. 300. 2007."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"Daniel F. Mansfield N.J. Wildberger \u201cPlimpton 322 is Babylonian exact sexagesimal trigonometry \u201d Historia Mathematica vol. 44 no. 4 pp 395\u2013419. 2017.","DOI":"10.1016\/j.hm.2017.08.001"}],"event":{"name":"CSAI 2025: 2025 The 9th International Conference on Computer Science and Artificial Intelligence","location":"Beijing China","acronym":"CSAI 2025"},"container-title":["Proceedings of the 2025 9th International Conference on Computer Science and Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3788149.3788201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T06:35:36Z","timestamp":1773988536000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788149.3788201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,12]]},"references-count":28,"alternative-id":["10.1145\/3788149.3788201","10.1145\/3788149"],"URL":"https:\/\/doi.org\/10.1145\/3788149.3788201","relation":{},"subject":[],"published":{"date-parts":[[2025,12,12]]},"assertion":[{"value":"2026-03-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}