{"id":"https://openalex.org/W4405737871","doi":"https://doi.org/10.3390/sym17010008","title":"FGeo-Parser: Autoformalization and Solution of Plane Geometric Problems","display_name":"FGeo-Parser: Autoformalization and Solution of Plane Geometric Problems","publication_year":2024,"publication_date":"2024-12-24","ids":{"openalex":"https://openalex.org/W4405737871","doi":"https://doi.org/10.3390/sym17010008"},"language":"en","primary_location":{"id":"doi:10.3390/sym17010008","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17010008","pdf_url":"https://www.mdpi.com/2073-8994/17/1/8/pdf?version=1735053396","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/17/1/8/pdf?version=1735053396","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028312989","display_name":"Na Zhu","orcid":"https://orcid.org/0009-0000-2513-7060"},"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"],"raw_orcid":"https://orcid.org/0009-0000-2513-7060","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/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"],"raw_orcid":"https://orcid.org/0000-0002-5678-7485","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/A5101074146","display_name":"Qike Huang","orcid":null},"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qike Huang","raw_affiliation_strings":["Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100865454","display_name":"Fangzhen Zhu","orcid":null},"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":"Fangzhen Zhu","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, China"],"raw_orcid":null,"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/A5058328411","display_name":"Zhenbing Zeng","orcid":"https://orcid.org/0000-0002-9728-1114"},"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenbing Zeng","raw_affiliation_strings":["College of Sciences, Shanghai University, Shanghai 200444, China"],"raw_orcid":"https://orcid.org/0000-0002-9728-1114","affiliations":[{"raw_affiliation_string":"College of Sciences, Shanghai University, Shanghai 200444, China","institution_ids":["https://openalex.org/I113940042"]}]},{"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"],"raw_orcid":"https://orcid.org/0000-0002-2921-3291","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":2,"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":2227},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2227},"fwci":1.2172,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.8295336,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"17","issue":"1","first_page":"8","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9871000051498413,"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"}},"topics":[{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9871000051498413,"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/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.982200026512146,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9574000239372253,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.8526283502578735},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7588845491409302},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5346592664718628},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5126122832298279},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5086086988449097},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45359107851982117},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4148363471031189},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.37834200263023376},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36014771461486816},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32239824533462524},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07400736212730408}],"concepts":[{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.8526283502578735},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7588845491409302},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5346592664718628},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5126122832298279},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5086086988449097},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45359107851982117},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4148363471031189},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.37834200263023376},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36014771461486816},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32239824533462524},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07400736212730408},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/sym17010008","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17010008","pdf_url":"https://www.mdpi.com/2073-8994/17/1/8/pdf?version=1735053396","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:4a0445b1127b49d89c71ef5ffd980c49","is_oa":false,"landing_page_url":"https://doaj.org/article/4a0445b1127b49d89c71ef5ffd980c49","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symmetry, Vol 17, Iss 1, p 8 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/sym17010008","is_oa":true,"landing_page_url":"https://doi.org/10.3390/sym17010008","pdf_url":"https://www.mdpi.com/2073-8994/17/1/8/pdf?version=1735053396","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/G4772063613","display_name":"\u82e5\u5e72\u79bb\u6563\u51e0\u4f55\u95ee\u9898\u53ca\u53cd\u95ee\u9898\u7684\u673a\u5668\u8bc1\u660e\u4e0e\u53ef\u89e3\u91ca\u6027\u7814\u7a76","funder_award_id":"12071282","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":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405737871.pdf","grobid_xml":"https://content.openalex.org/works/W4405737871.grobid-xml"},"referenced_works_count":47,"referenced_works":["https://openalex.org/W27914859","https://openalex.org/W109897293","https://openalex.org/W1479887426","https://openalex.org/W1542130776","https://openalex.org/W1995875735","https://openalex.org/W2039228526","https://openalex.org/W2068101968","https://openalex.org/W2091926481","https://openalex.org/W2101105183","https://openalex.org/W2120243289","https://openalex.org/W2144499799","https://openalex.org/W2194775991","https://openalex.org/W2250564385","https://openalex.org/W2382032441","https://openalex.org/W2607250687","https://openalex.org/W2667333411","https://openalex.org/W2898429904","https://openalex.org/W2898599002","https://openalex.org/W2962784628","https://openalex.org/W2965735863","https://openalex.org/W2979899153","https://openalex.org/W3171353004","https://openalex.org/W3173260995","https://openalex.org/W3176186248","https://openalex.org/W3176371077","https://openalex.org/W4225105060","https://openalex.org/W4226182655","https://openalex.org/W4288089799","https://openalex.org/W4312834975","https://openalex.org/W4385572160","https://openalex.org/W4385572852","https://openalex.org/W4385768252","https://openalex.org/W4388190426","https://openalex.org/W4390940921","https://openalex.org/W4391897188","https://openalex.org/W4393357623","https://openalex.org/W4393871228","https://openalex.org/W4393993850","https://openalex.org/W4401024948","https://openalex.org/W4401043006","https://openalex.org/W4402684298","https://openalex.org/W6606704035","https://openalex.org/W6628526483","https://openalex.org/W6739901393","https://openalex.org/W6769627184","https://openalex.org/W6793587367","https://openalex.org/W6868881945"],"related_works":["https://openalex.org/W2348909947","https://openalex.org/W4292672442","https://openalex.org/W579810227","https://openalex.org/W2362101859","https://openalex.org/W2791431590","https://openalex.org/W2941610985","https://openalex.org/W2142145894","https://openalex.org/W4235810826","https://openalex.org/W2952780262","https://openalex.org/W2979495269"],"abstract_inverted_index":{"Automatic":[0],"geometric":[1,17,27,40,46,48,68],"problem-solving":[2,219],"is":[3],"an":[4,66],"active":[5],"and":[6,14,29,42,58,78,101,114,128,155,184,204],"challenging":[7],"subfield":[8],"at":[9],"the":[10,37,43,53,81,85,97,107,111,121,125,144,163,188,195,211,214],"intersection":[11],"of":[12,39,45,84,146,202,208,221],"AI":[13],"mathematics,":[15],"where":[16,131],"problem":[18,49,69,76,182],"parsing":[19,50,70,100],"plays":[20],"a":[21,139,147,169,175,199,205,218],"critical":[22],"role.":[23],"It":[24,87],"involves":[25],"converting":[26],"diagram":[28,104],"text":[30,79,118,126,185],"into":[31,80,168],"certain":[32],"formal":[33,82],"language.":[34],"Due":[35],"to":[36,92,109,123],"complexity":[38],"shapes":[41],"diversity":[44],"relationships,":[47],"demands":[51],"that":[52],"parser":[54,105,119],"exhibit":[55],"cross-modal":[56],"comprehension":[57],"reasoning":[59,157,164],"capabilities.":[60],"In":[61],"this":[62],"paper,":[63],"we":[64,180],"propose":[65],"enhanced":[67],"method":[71],"called":[72],"FGeo-Parser,":[73],"which":[74,172],"converts":[75],"diagrams":[77,183],"language":[83],"FormalGeo.":[86],"also":[88],"supports":[89],"reverse":[90],"formalization":[91,192],"generate":[93,110],"human-like":[94,176],"solutions,":[95],"reflecting":[96],"symmetry":[98],"between":[99],"generating.":[102],"Specifically,":[103],"leverages":[106],"BLIP":[108],"construction":[112],"CDL":[113,127,130],"image":[115],"CDL,":[116],"while":[117,210],"employs":[120],"T5":[122],"produce":[124],"goal":[129],"these":[132,150],"neural":[133],"networks":[134],"are":[135],"both":[136],"based":[137,186],"on":[138,187,194],"symmetric":[140],"encoder\u2013decoder":[141],"architecture.":[142],"With":[143],"assistance":[145],"theorem":[148,215],"predictor,":[149],"CDLs":[151],"were":[152],"automatically":[153],"parsed":[154],"step-by-step":[156],"was":[158,166],"executed":[159],"within":[160],"FGPS.":[161],"Finally,":[162],"process":[165],"input":[167],"solution":[170,177],"generator,":[171],"subsequently":[173],"produced":[174],"process.":[178],"Additionally,":[179],"re-annotated":[181],"FormalGeo7K":[189],"dataset.":[190],"The":[191],"experiments":[193],"new":[196],"dataset":[197],"achieved":[198,217],"match":[200],"accuracy":[201,207,220],"91.51%":[203],"perfect":[206],"56.47%,":[209],"combination":[212],"with":[213],"predictor":[216],"63.45%.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}