{"id":"https://openalex.org/W4393357623","doi":"https://doi.org/10.3390/sym16040404","title":"FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning","display_name":"FGeo-SSS: A Search-Based Symbolic Solver for Human-like Automated Geometric Reasoning","publication_year":2024,"publication_date":"2024-03-30","ids":{"openalex":"https://openalex.org/W4393357623","doi":"https://doi.org/10.3390/sym16040404"},"language":"en","primary_location":{"id":"doi:10.3390/sym16040404","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym16040404","pdf_url":"https://www.mdpi.com/2073-8994/16/4/404/pdf?version=1711801443","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-8994/16/4/404/pdf?version=1711801443","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101865974","display_name":"Xiaokai Zhang","orcid":"https://orcid.org/0000-0002-5678-7485"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaokai Zhang","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028312989","display_name":"Na Zhu","orcid":"https://orcid.org/0009-0006-3367-2665"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Na Zhu","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040183423","display_name":"Yiming He","orcid":"https://orcid.org/0000-0001-9958-5173"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiming He","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113161864","display_name":"Jia Zou","orcid":"https://orcid.org/0009-0003-9566-8483"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jia Zou","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111331477","display_name":"C.M. Qin","orcid":"https://orcid.org/0009-0008-7178-9236"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Cheng Qin","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059308515","display_name":"Yang Li","orcid":"https://orcid.org/0009-0006-1677-6630"},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Li","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066842145","display_name":"Tuo Leng","orcid":"https://orcid.org/0000-0002-2921-3291"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]},{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tuo Leng","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I141962983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5066842145"],"corresponding_institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":0.7661,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70009398,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"16","issue":"4","first_page":"404","last_page":"404"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10799","display_name":"Data Visualization and Analytics","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9695000052452087,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9553999900817871,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7678365707397461},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7046730518341064},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5043371915817261},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4884742796421051},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46815112233161926},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.440623939037323},{"id":"https://openalex.org/keywords/geometric-primitive","display_name":"Geometric primitive","score":0.413626104593277},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3437820076942444},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30307433009147644},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27754029631614685}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7678365707397461},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7046730518341064},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5043371915817261},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4884742796421051},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46815112233161926},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.440623939037323},{"id":"https://openalex.org/C181095308","wikidata":"https://www.wikidata.org/wiki/Q1541599","display_name":"Geometric primitive","level":2,"score":0.413626104593277},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3437820076942444},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30307433009147644},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27754029631614685}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/sym16040404","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym16040404","pdf_url":"https://www.mdpi.com/2073-8994/16/4/404/pdf?version=1711801443","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:14cfdaf3e28a46f19e4d71767363b223","is_oa":true,"landing_page_url":"https://doaj.org/article/14cfdaf3e28a46f19e4d71767363b223","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry, Vol 16, Iss 4, p 404 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/sym16040404","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym16040404","pdf_url":"https://www.mdpi.com/2073-8994/16/4/404/pdf?version=1711801443","source":{"id":"https://openalex.org/S190787756","display_name":"Symmetry","issn_l":"2073-8994","issn":["2073-8994"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Symmetry","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4772063613","display_name":null,"funder_award_id":"12071282","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4393357623.pdf"},"referenced_works_count":59,"referenced_works":["https://openalex.org/W109897293","https://openalex.org/W767947605","https://openalex.org/W1479887426","https://openalex.org/W1534021004","https://openalex.org/W2039279140","https://openalex.org/W2047821213","https://openalex.org/W2068101968","https://openalex.org/W2079751248","https://openalex.org/W2091926481","https://openalex.org/W2120243289","https://openalex.org/W2121406004","https://openalex.org/W2214429195","https://openalex.org/W2250564385","https://openalex.org/W2382032441","https://openalex.org/W2480995471","https://openalex.org/W2607250687","https://openalex.org/W2667333411","https://openalex.org/W2740314591","https://openalex.org/W2757050214","https://openalex.org/W2789760906","https://openalex.org/W2898429904","https://openalex.org/W2898599002","https://openalex.org/W2979899153","https://openalex.org/W3091984691","https://openalex.org/W3127209019","https://openalex.org/W3173260995","https://openalex.org/W3176371077","https://openalex.org/W3202008560","https://openalex.org/W3216178672","https://openalex.org/W4205348645","https://openalex.org/W4210248276","https://openalex.org/W4221143046","https://openalex.org/W4225919485","https://openalex.org/W4226243662","https://openalex.org/W4241906640","https://openalex.org/W4281489448","https://openalex.org/W4281491203","https://openalex.org/W4288087297","https://openalex.org/W4298084898","https://openalex.org/W4299861076","https://openalex.org/W4312572606","https://openalex.org/W4312834975","https://openalex.org/W4318719429","https://openalex.org/W4319312397","https://openalex.org/W4322577364","https://openalex.org/W4385572852","https://openalex.org/W4385768252","https://openalex.org/W4388190426","https://openalex.org/W4390940921","https://openalex.org/W6606704035","https://openalex.org/W6635156534","https://openalex.org/W6751691560","https://openalex.org/W6758262585","https://openalex.org/W6767364878","https://openalex.org/W6793587367","https://openalex.org/W6809646742","https://openalex.org/W6838403033","https://openalex.org/W6838749683","https://openalex.org/W6848906686"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1590965489"],"abstract_inverted_index":{"Geometric":[0,53],"problem":[1,17,71],"solving":[2],"(GPS)":[3],"has":[4],"always":[5],"been":[6],"a":[7,31,133,191],"long-standing":[8],"challenge":[9],"in":[10,30,57,142],"the":[11,28,38,43,51,117,148,157,176,181],"fields":[12],"of":[13,33,76,135,150,180],"automated":[14,70,94],"reasoning.":[15],"Its":[16],"representation":[18],"and":[19,42,81,85,92,110,127,147,170,178],"solution":[20],"process":[21],"embody":[22],"rich":[23],"symmetry.":[24],"This":[25,139],"paper":[26],"is":[27,74],"second":[29],"series":[32],"our":[34],"works.":[35],"Based":[36],"on":[37,173],"Geometry":[39],"Formalization":[40],"Theory":[41],"FormalGeo":[44],"geometric":[45,78,97,125,130],"formal":[46,167],"system,":[47],"we":[48,153],"have":[49,155],"developed":[50],"Formal":[52],"Problem":[54],"Solver":[55],"(FGPS)":[56],"Python":[58],"3.10,":[59],"which":[60,160],"can":[61],"serve":[62],"as":[63,68],"an":[64,69],"interactive":[65],"assistant":[66],"or":[67],"solver.":[72],"FGPS":[73,109,120],"capable":[75],"executing":[77],"predicate":[79],"logic":[80],"performing":[82],"relational":[83],"reasoning":[84],"algebraic":[86],"computation,":[87],"ultimately":[88],"achieving":[89],"readable,":[90],"traceable,":[91],"verifiable":[93],"solutions":[95],"for":[96],"problems.":[98],"We":[99],"observed":[100],"that":[101],"symmetry":[102,141],"phenomena":[103],"exist":[104],"at":[105],"various":[106,129],"levels":[107],"within":[108],"utilized":[111],"these":[112],"symmetries":[113],"to":[114,123],"further":[115],"refine":[116],"system\u2019s":[118],"design.":[119],"employs":[121],"symbols":[122],"represent":[124],"shapes":[126],"transforms":[128],"patterns":[131],"into":[132],"set":[134],"symbolic":[136],"operation":[137],"rules.":[138],"maintains":[140],"basic":[143],"transformations,":[144],"shape":[145],"constructions,":[146],"application":[149],"theorems.":[151],"Moreover,":[152],"also":[154],"annotated":[156],"formalgeo7k":[158,174],"dataset,":[159],"contains":[161],"6981":[162],"geometry":[163],"problems":[164],"with":[165,187],"detailed":[166],"language":[168],"descriptions":[169],"solutions.":[171],"Experiments":[172],"validate":[175],"correctness":[177],"utility":[179],"FGPS.":[182],"The":[183],"forward":[184],"search":[185],"method":[186],"random":[188],"strategy":[189],"achieved":[190],"39.71%":[192],"problem-solving":[193],"success":[194],"rate.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}