{"id":"https://openalex.org/W4385568260","doi":"https://doi.org/10.1145/3580305.3599375","title":"Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge","display_name":"Guiding Mathematical Reasoning via Mastering Commonsense Formula Knowledge","publication_year":2023,"publication_date":"2023-08-04","ids":{"openalex":"https://openalex.org/W4385568260","doi":"https://doi.org/10.1145/3580305.3599375"},"language":"en","primary_location":{"id":"doi:10.1145/3580305.3599375","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3580305.3599375","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","raw_type":"proceedings-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/A5030410270","display_name":"Jiayu Liu","orcid":"https://orcid.org/0000-0001-8639-3308"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiayu Liu","raw_affiliation_strings":["University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085496384","display_name":"Zhenya Huang","orcid":"https://orcid.org/0000-0003-1661-0420"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenya Huang","raw_affiliation_strings":["University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101672534","display_name":"Zhiyuan Ma","orcid":"https://orcid.org/0009-0003-9188-7275"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyuan Ma","raw_affiliation_strings":["University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100453156","display_name":"Qi Liu","orcid":"https://orcid.org/0000-0001-6956-5550"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qi Liu","raw_affiliation_strings":["University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048237545","display_name":"Enhong Chen","orcid":"https://orcid.org/0000-0002-4835-4102"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Enhong Chen","raw_affiliation_strings":["University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China & State Key Laboratory of Cognitive Intelligence, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053676041","display_name":"Tianhuang Su","orcid":"https://orcid.org/0009-0001-1195-3195"},"institutions":[{"id":"https://openalex.org/I180662265","display_name":"China Mobile (China)","ror":"https://ror.org/05gftfe97","country_code":"CN","type":"company","lineage":["https://openalex.org/I180662265"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianhuang Su","raw_affiliation_strings":["OPPO Mobile Telecommunications, Shenzhen, China"],"affiliations":[{"raw_affiliation_string":"OPPO Mobile Telecommunications, Shenzhen, China","institution_ids":["https://openalex.org/I180662265"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100695301","display_name":"Haifeng Liu","orcid":"https://orcid.org/0009-0000-2922-3898"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haifeng Liu","raw_affiliation_strings":["University of Science and Technology of China, Hefei, China"],"affiliations":[{"raw_affiliation_string":"University of Science and Technology of China, Hefei, China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5030410270"],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":1.7514,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87585052,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1477","last_page":"1488"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9839000105857849,"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/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9839000105857849,"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.9696999788284302,"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/T11574","display_name":"Artificial Intelligence in Games","score":0.9693999886512756,"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/computer-science","display_name":"Computer science","score":0.666893720626831},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.6082580089569092},{"id":"https://openalex.org/keywords/commonsense-knowledge","display_name":"Commonsense knowledge","score":0.5979006886482239},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5560996532440186},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.5285398364067078},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.5134514570236206},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4824960231781006},{"id":"https://openalex.org/keywords/grasp","display_name":"GRASP","score":0.4763924479484558},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.4649321734905243},{"id":"https://openalex.org/keywords/adaptive-reasoning","display_name":"Adaptive reasoning","score":0.4628294110298157},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.4220900535583496},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.39161384105682373},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.3084182143211365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14689543843269348}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.666893720626831},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.6082580089569092},{"id":"https://openalex.org/C30542707","wikidata":"https://www.wikidata.org/wiki/Q1603203","display_name":"Commonsense knowledge","level":3,"score":0.5979006886482239},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5560996532440186},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.5285398364067078},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.5134514570236206},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4824960231781006},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.4763924479484558},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.4649321734905243},{"id":"https://openalex.org/C107848011","wikidata":"https://www.wikidata.org/wiki/Q4680756","display_name":"Adaptive reasoning","level":4,"score":0.4628294110298157},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.4220900535583496},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.39161384105682373},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.3084182143211365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14689543843269348},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3580305.3599375","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3580305.3599375","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.8500000238418579,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2085250921","display_name":null,"funder_award_id":"62106244, U20A20229","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"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1488025282","https://openalex.org/W1489823821","https://openalex.org/W1554619471","https://openalex.org/W1902237438","https://openalex.org/W2041452239","https://openalex.org/W2072950331","https://openalex.org/W2082056175","https://openalex.org/W2083768987","https://openalex.org/W2108631389","https://openalex.org/W2155479778","https://openalex.org/W2250769864","https://openalex.org/W2475046758","https://openalex.org/W2510828927","https://openalex.org/W2757276219","https://openalex.org/W2955931418","https://openalex.org/W2962927633","https://openalex.org/W2964710271","https://openalex.org/W3035147733","https://openalex.org/W3166944102","https://openalex.org/W3170403598","https://openalex.org/W3173285067","https://openalex.org/W3174781928","https://openalex.org/W3176371077","https://openalex.org/W3205586399","https://openalex.org/W4214704543","https://openalex.org/W4282916217","https://openalex.org/W4285246273","https://openalex.org/W4287065027","https://openalex.org/W4290875505","https://openalex.org/W4290875596","https://openalex.org/W4290927756","https://openalex.org/W4320060347","https://openalex.org/W4378421827","https://openalex.org/W4385574345","https://openalex.org/W4385574364","https://openalex.org/W6817713987"],"related_works":["https://openalex.org/W3035583586","https://openalex.org/W4320165839","https://openalex.org/W2151799802","https://openalex.org/W2196562041","https://openalex.org/W4385488510","https://openalex.org/W2073302931","https://openalex.org/W3105192994","https://openalex.org/W3093144443","https://openalex.org/W4249464125","https://openalex.org/W1868862982"],"abstract_inverted_index":{"Math":[0],"formulas":[1],"(e.g.,":[2],"\"distance":[3],"=":[4],"speed":[5],"X":[6],"time'')":[7],"serve":[8],"as":[9],"one":[10],"of":[11,69,98,139,243,267],"the":[12,85,115,121,137,145,157,180,195,202,217,240,265],"fundamental":[13],"commonsense":[14],"knowledge":[15,142,220,270],"in":[16,26,67,84,101,201],"human":[17],"cognition,":[18],"where":[19,183],"humans":[20,193,235],"naturally":[21],"acquire":[22],"and":[23,71,93,118,123,165,171,211,229,256],"manipulate":[24],"them":[25],"logical":[27],"thinking":[28],"for":[29,105,125],"mathematical":[30,74,196],"reasoning":[31,35,103,227,238,254,261],"problems.":[32,108,146],"However,":[33],"existing":[34],"models":[36],"mainly":[37],"focus":[38],"on":[39,54,114],"learning":[40,55],"heuristic":[41],"linguistics":[42],"or":[43],"patterns":[44],"to":[45,79,143,169,190,224],"generate":[46],"answers,":[47],"but":[48],"do":[49],"not":[50,63],"pay":[51],"enough":[52],"attention":[53],"with":[56,95,136,151],"such":[57],"formula":[58,99,141,173,219,269],"knowledge.":[59],"Thus,":[60],"they":[61],"are":[62,112],"transparent":[64],"(thus":[65],"uninterpretable)":[66],"terms":[68],"understanding":[70],"grasping":[72],"basic":[73],"logic.":[75],"In":[76],"this":[77],"paper,":[78],"promote":[80],"a":[81,131,162,166,186,252,258],"step":[82,104],"forward":[83],"domain,":[86],"we":[87,129,148,184,205],"first":[88],"construct":[89],"two":[90,152],"datasets":[91,111],"(Math23K-F":[92],"MAWPS-F)":[94],"precise":[96],"annotations":[97],"usage":[100],"each":[102],"math":[106,181,244],"word":[107],"Especially,":[109],"our":[110],"refined":[113],"benchmark":[116],"datasets,":[117],"thus":[119],"ensure":[120],"generality":[122],"comparability":[124],"relevant":[126],"research.":[127],"Then,":[128,200],"propose":[130,185],"novel":[132,187],"Formula-mastered":[133],"Solver":[134],"(FOMAS)":[135],"guidance":[138],"mastering":[140],"solve":[144],"Specifically,":[147],"establish":[149],"FOMAS":[150,250],"systems":[153],"drawing":[154],"insight":[155],"from":[156,221],"dual":[158],"process":[159],"theory,":[160],"including":[161],"Knowledge":[163,177,222],"System":[164,178,223],"Reasoning":[167,203],"System,":[168,204],"learn":[170],"apply":[172],"knowledge,":[174],"respectively.":[175],"The":[176],"accumulates":[179],"formulas,":[182],"pretraining":[188],"manner":[189],"mimic":[191],"how":[192,234],"grasp":[194],"logic":[197],"behind":[198],"them.":[199],"develop":[206],"elaborate":[207],"formula-guided":[208],"symbol":[209],"prediction":[210],"goal":[212],"generation":[213],"methods":[214],"that":[215,249],"retrieve":[216],"necessary":[218],"improve":[225],"both":[226],"accuracy":[228],"interpretability.":[230],"It":[231],"organically":[232],"simulates":[233],"conduct":[236],"complex":[237],"under":[239],"explicit":[241],"instruction":[242],"formulas.":[245],"Experimental":[246],"results":[247],"prove":[248],"has":[251],"stronger":[253],"ability":[255],"achieves":[257],"more":[259],"interpretable":[260],"process,":[262],"which":[263],"verifies":[264],"necessity":[266],"introducing":[268],"transparently.":[271]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}