{"id":"https://openalex.org/W2898599002","doi":"https://doi.org/10.1142/s0218001419400056","title":"A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems","display_name":"A Framework for Solving Explicit Arithmetic Word Problems and Proving Plane Geometry Theorems","publication_year":2018,"publication_date":"2018-10-26","ids":{"openalex":"https://openalex.org/W2898599002","doi":"https://doi.org/10.1142/s0218001419400056","mag":"2898599002"},"language":"en","primary_location":{"id":"doi:10.1142/s0218001419400056","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001419400056","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Pattern Recognition and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043642303","display_name":"Xinguo Yu","orcid":"https://orcid.org/0000-0001-8379-6742"},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xinguo Yu","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102002023","display_name":"Mingshu Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingshu Wang","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080230529","display_name":"Wenbin Gan","orcid":"https://orcid.org/0000-0003-3342-5534"},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbin Gan","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101946076","display_name":"Bin He","orcid":null},"institutions":[{"id":"https://openalex.org/I40963666","display_name":"Central China Normal University","ror":"https://ror.org/03x1jna21","country_code":"CN","type":"education","lineage":["https://openalex.org/I40963666"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bin He","raw_affiliation_strings":["National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China"],"affiliations":[{"raw_affiliation_string":"National Engineering Research Center for E-Learning, Central China Normal University, Wuhan 430079, P. R. China","institution_ids":["https://openalex.org/I40963666"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100608125","display_name":"Nan Ye","orcid":"https://orcid.org/0000-0002-4689-3559"},"institutions":[{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Nan Ye","raw_affiliation_strings":["University of Queensland, Brisbane 4072, Australia"],"affiliations":[{"raw_affiliation_string":"University of Queensland, Brisbane 4072, Australia","institution_ids":["https://openalex.org/I165143802"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5043642303"],"corresponding_institution_ids":["https://openalex.org/I40963666"],"apc_list":null,"apc_paid":null,"fwci":2.3664,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.91413204,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"33","issue":"07","first_page":"1940005","last_page":"1940005"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9983000159263611,"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.9983000159263611,"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/T10028","display_name":"Topic Modeling","score":0.9936000108718872,"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/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9865999817848206,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/mathematics","display_name":"Mathematics","score":0.5700761079788208},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5133968591690063},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46583452820777893},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4539378583431244},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4201871454715729},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4110136926174164},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4056508243083954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35209542512893677},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33564937114715576},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15043389797210693},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10560396313667297}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5700761079788208},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5133968591690063},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46583452820777893},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4539378583431244},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4201871454715729},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4110136926174164},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4056508243083954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35209542512893677},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33564937114715576},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15043389797210693},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10560396313667297},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218001419400056","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218001419400056","pdf_url":null,"source":{"id":"https://openalex.org/S41486457","display_name":"International Journal of Pattern Recognition and Artificial Intelligence","issn_l":"0218-0014","issn":["0218-0014","1793-6381"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Pattern Recognition and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:espace.library.uq.edu.au:UQ:79a8f4a","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402388","display_name":"Queensland's institutional digital repository (The University of Queensland)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165143802","host_organization_name":"The University of Queensland","host_organization_lineage":["https://openalex.org/I165143802"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5699999928474426}],"awards":[{"id":"https://openalex.org/G5642405539","display_name":null,"funder_award_id":"CCNU17QN005","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W25883864","https://openalex.org/W1515021858","https://openalex.org/W2013938288","https://openalex.org/W2021422278","https://openalex.org/W2064030682","https://openalex.org/W2077378514","https://openalex.org/W2080309941","https://openalex.org/W2090639711","https://openalex.org/W2105717194","https://openalex.org/W2129812662","https://openalex.org/W2136058053","https://openalex.org/W2250564385","https://openalex.org/W2250769864","https://openalex.org/W2251349042","https://openalex.org/W2251935656","https://openalex.org/W2252202991","https://openalex.org/W2475046758","https://openalex.org/W2513499049","https://openalex.org/W2610909925","https://openalex.org/W2757276219","https://openalex.org/W2758343314","https://openalex.org/W4232863416"],"related_works":["https://openalex.org/W2062195135","https://openalex.org/W2353644209","https://openalex.org/W2463239216","https://openalex.org/W2795079307","https://openalex.org/W2348743188","https://openalex.org/W2793058541","https://openalex.org/W2902317490","https://openalex.org/W2004183686","https://openalex.org/W1741600793","https://openalex.org/W2991618286"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,11,43,47,51,58,64,73,78,84,96,110,136,172],"framework":[4,18,115],"for":[5,22],"solving":[6,23],"math":[7,48],"problems":[8,27,120,177],"stated":[9,178,188],"in":[10,179,189],"natural":[12],"language":[13],"(NL)":[14],"and":[15,28,62,121,140,181,191,201,214],"applies":[16],"the":[17,40,69,103,130,141,148,165],"to":[19,50,67,89,116,146,159,163],"develop":[20],"algorithms":[21,194],"explicit":[24],"arithmetic":[25,118,127,175],"word":[26,119,128,176],"proving":[29],"plane":[30,123,151,185],"geometry":[31,124,152,186],"theorems.":[32,125],"We":[33,54,112,167],"focus":[34],"on":[35,171,198],"problem":[36,49],"understanding,":[37],"that":[38,100],"is,":[39],"transformation":[41],"of":[42,46,80,138,174,184,211,216],"NL":[44],"description":[45,213],"formal":[52,91],"representation.":[53],"view":[55],"this":[56],"as":[57,209],"relation":[59],"extraction":[60],"problem,":[61],"adopt":[63],"greedy":[65],"algorithm":[66,212,217],"extract":[68],"mathematical":[70,104],"relations":[71,105,132,156],"using":[72],"syntax-semantics":[74],"model,":[75],"which":[76],"is":[77,87],"set":[79,173],"patterns":[81],"describing":[82],"how":[83,102],"syntactic":[85],"pattern":[86],"mapped":[88],"its":[90],"semantics.":[92],"Our":[93,193],"method":[94],"yields":[95],"human":[97],"readable":[98],"solution":[99],"shows":[101],"are":[106,133,143,157],"extracted":[107,131,155],"one":[108],"at":[109],"time.":[111],"apply":[113],"our":[114,169],"solve":[117],"prove":[122],"For":[126,150],"problems,":[129],"transformed":[134],"into":[135],"system":[137,162],"equations,":[139],"equations":[142],"then":[144],"solved":[145],"produce":[147],"solution.":[149],"theorems,":[153],"these":[154,199],"input":[158],"an":[160],"inference":[161],"generate":[164],"proof.":[166],"evaluate":[168],"approach":[170],"Chinese,":[180],"two":[182],"sets":[183],"theorems":[187],"Chinese":[190],"English.":[192],"achieve":[195],"high":[196],"accuracies":[197],"datasets":[200],"they":[202],"also":[203],"show":[204],"some":[205],"desirable":[206],"properties":[207],"such":[208],"brevity":[210],"legibility":[215],"actions.":[218]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}