{"id":"https://openalex.org/W7155950953","doi":"https://doi.org/10.1145/3774904.3792213","title":"Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning","display_name":"Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning","publication_year":2026,"publication_date":"2026-04-12","ids":{"openalex":"https://openalex.org/W7155950953","doi":"https://doi.org/10.1145/3774904.3792213"},"language":null,"primary_location":{"id":"doi:10.1145/3774904.3792213","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792213","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3774904.3792213","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100451972","display_name":"Ke Chen","orcid":"https://orcid.org/0000-0001-5503-4441"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ke Chen","raw_affiliation_strings":["Faculty of Arts and Sciences, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0006-5538-324X","affiliations":[{"raw_affiliation_string":"Faculty of Arts and Sciences, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046574268","display_name":"Jiandian Zeng","orcid":"https://orcid.org/0000-0002-1349-8077"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiandian Zeng","raw_affiliation_strings":["Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0002-1349-8077","affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123217523","display_name":"Zihao Peng","orcid":null},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zihao Peng","raw_affiliation_strings":["Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0003-3108-123X","affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103201280","display_name":"Li Guo","orcid":"https://orcid.org/0000-0002-3703-0057"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guo Li","raw_affiliation_strings":["Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0002-3703-0057","affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101989569","display_name":"Guangxue Zhang","orcid":"https://orcid.org/0000-0002-7767-0710"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangxue Zhang","raw_affiliation_strings":["Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0002-7767-0710","affiliations":[{"raw_affiliation_string":"Institute of Artificial Intelligence and Future Networks, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5134706231","display_name":"Tian Wang","orcid":"https://orcid.org/0000-0003-4819-621X"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tian Wang","raw_affiliation_strings":["Engineering Research Center of Cloud-Edge Intelligent Collaboration on Big Data, Ministry of Education, Beijing Normal University, Zhuhai, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0003-4819-621X","affiliations":[{"raw_affiliation_string":"Engineering Research Center of Cloud-Edge Intelligent Collaboration on Big Data, Ministry of Education, Beijing Normal University, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I25254941"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5100451972"],"corresponding_institution_ids":["https://openalex.org/I25254941"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.95935471,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3686","last_page":"3697"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.26190000772476196,"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/T10028","display_name":"Topic Modeling","score":0.26190000772476196,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.12639999389648438,"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/T11948","display_name":"Machine Learning in Materials Science","score":0.05380000174045563,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5807999968528748},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5565999746322632},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.521399974822998},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.47360000014305115},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4609000086784363},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.43320000171661377},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.4129999876022339},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.40880000591278076},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4059999883174896},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.4052000045776367}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.739799976348877},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5807999968528748},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5565999746322632},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.521399974822998},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4932999908924103},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.47360000014305115},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.46560001373291016},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4609000086784363},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.43320000171661377},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.4129999876022339},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.40880000591278076},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4059999883174896},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4052000045776367},{"id":"https://openalex.org/C103057564","wikidata":"https://www.wikidata.org/wiki/Q4751139","display_name":"Analytic reasoning","level":3,"score":0.37630000710487366},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.35989999771118164},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C2779439875","wikidata":"https://www.wikidata.org/wiki/Q1078276","display_name":"Natural language understanding","level":3,"score":0.35339999198913574},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.35280001163482666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3476000130176544},{"id":"https://openalex.org/C511192102","wikidata":"https://www.wikidata.org/wiki/Q5156948","display_name":"Comprehension","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.31779998540878296},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.30979999899864197},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.3027999997138977},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.2994000017642975},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2897000014781952},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2540000081062317}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3774904.3792213","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792213","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3774904.3792213","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792213","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W3173805051","https://openalex.org/W4287854706","https://openalex.org/W4389518758","https://openalex.org/W4389519818","https://openalex.org/W4391093148","https://openalex.org/W4393160302","https://openalex.org/W4402669921","https://openalex.org/W4402671211","https://openalex.org/W4404239715","https://openalex.org/W4404782768","https://openalex.org/W4404782821","https://openalex.org/W4409657082","https://openalex.org/W4409671924","https://openalex.org/W4411119912","https://openalex.org/W4412886754"],"related_works":[],"abstract_inverted_index":{"As":[0],"knowledge":[1],"and":[2,16,50,72,95,122,127,132,151,171,174,179,191,206],"semantics":[3],"on":[4,41,47,187,198],"the":[5,31,102,176,204],"web":[6],"grow":[7],"increasingly":[8],"complex,":[9],"enhancing":[10],"Large":[11],"Language":[12],"Models":[13],"(LLMs)'":[14],"comprehension":[15],"reasoning":[17,32,43,104,214],"capabilities":[18,33,105],"has":[19,26],"become":[20],"particularly":[21],"important.":[22],"Chain-of-Thought":[23],"(CoT)":[24],"prompting":[25],"been":[27],"shown":[28],"to":[29,80,138],"enhance":[30,101],"of":[34,106,208],"LLMs.":[35],"However,":[36],"it":[37,168],"still":[38],"falls":[39],"short":[40],"logical":[42,103],"tasks":[44],"that":[45],"rely":[46],"symbolic":[48,213],"expressions":[49,126],"strict":[51],"deductive":[52],"rules.":[53],"Neuro-symbolic":[54],"methods":[55],"address":[56],"this":[57],"gap":[58],"by":[59],"enforcing":[60],"formal":[61],"correctness":[62],"through":[63],"external":[64,199],"solvers.":[65],"Yet":[66],"these":[67],"solvers":[68],"are":[69],"highly":[70],"format-sensitive,":[71],"small":[73],"instabilities":[74],"in":[75],"model":[76],"outputs":[77],"can":[78],"lead":[79],"frequent":[81],"processing":[82],"failures.":[83],"The":[84,144],"LLM-driven":[85],"approaches":[86],"avoid":[87],"parsing":[88],"brittleness,":[89],"but":[90],"they":[91],"lack":[92],"structured":[93,112],"representations":[94],"process-level":[96],"error-correction":[97],"mechanisms.":[98],"To":[99],"further":[100],"LLMs,":[107],"we":[108,120,158],"propose":[109],"MatrixCoT,":[110],"a":[111,116,134,148,161,181],"CoT":[113],"framework":[114],"with":[115],"matrix-based":[117,135],"plan.":[118],"Specifically,":[119],"normalize":[121],"type":[123],"natural":[124],"language":[125],"attach":[128],"explicit":[129],"citation":[130],"fields,":[131],"introduce":[133],"planning":[136],"method":[137],"preserve":[139],"global":[140],"relations":[141],"among":[142],"steps.":[143],"plan":[145],"thus":[146],"becomes":[147,153],"verifiable":[149],"artifact":[150],"execution":[152],"more":[154,182],"stable.":[155],"For":[156],"verification,":[157],"also":[159],"add":[160],"feedback-driven":[162],"replanning":[163],"mechanism.":[164],"Under":[165],"semantic-equivalence":[166],"constraints,":[167],"identifies":[169],"omissions":[170],"defects,":[172],"rewrites":[173],"compresses":[175],"dependency":[177],"matrix,":[178],"produces":[180],"trustworthy":[183],"final":[184],"answer.":[185],"Experiments":[186],"five":[188,192],"logical-reasoning":[189],"benchmarks":[190],"LLMs":[193,209],"show":[194],"that,":[195],"without":[196],"relying":[197],"solvers,":[200],"MatrixCoT":[201],"enhances":[202],"both":[203],"robustness":[205],"interpretability":[207],"when":[210],"tackling":[211],"complex":[212],"tasks,":[215],"while":[216],"maintaining":[217],"competitive":[218],"performance.":[219]},"counts_by_year":[],"updated_date":"2026-04-28T06:12:00.211691","created_date":"2026-04-28T00:00:00"}