{"id":"https://openalex.org/W7166842443","doi":"https://doi.org/10.18653/v1/2026.findings-acl.233","title":"MAC-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models","display_name":"MAC-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166842443","doi":"https://doi.org/10.18653/v1/2026.findings-acl.233"},"language":null,"primary_location":{"id":"doi:10.18653/v1/2026.findings-acl.233","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.233","pdf_url":"https://aclanthology.org/2026.findings-acl.233.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2026.findings-acl.233.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139778185","display_name":"Yehua Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yehua Lin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070592633","display_name":"Liping Zheng","orcid":"https://orcid.org/0000-0001-5071-9628"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liping Zheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139811225","display_name":"Yin Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yin Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.83253538,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4739","last_page":"4762"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12031","display_name":"Speech and dialogue systems","score":0.1972000002861023,"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/T12031","display_name":"Speech and dialogue systems","score":0.1972000002861023,"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.15039999783039093,"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.08340000361204147,"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/automated-reasoning","display_name":"Automated reasoning","score":0.4964999854564667},{"id":"https://openalex.org/keywords/language-model","display_name":"Language model","score":0.33169999718666077},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.32249999046325684},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.3222000002861023},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.31189998984336853},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3109999895095825},{"id":"https://openalex.org/keywords/case-based-reasoning","display_name":"Case-based reasoning","score":0.3100999891757965},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.298799991607666},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.29820001125335693}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6837999820709229},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4964999854564667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4562999904155731},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.45320001244544983},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3222000002861023},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.31189998984336853},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.3100999891757965},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.298799991607666},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.29820001125335693},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.29499998688697815},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2937000095844269},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.2623000144958496},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C13606891","wikidata":"https://www.wikidata.org/wiki/Q2623243","display_name":"Conceptual model","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.251800000667572},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.2513999938964844},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.250900000333786},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.2508000135421753}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2026.findings-acl.233","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.233","pdf_url":"https://aclanthology.org/2026.findings-acl.233.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2026.findings-acl.233","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2026.findings-acl.233","pdf_url":"https://aclanthology.org/2026.findings-acl.233.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166842443.pdf","grobid_xml":"https://content.openalex.org/works/W7166842443.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Large":[0],"language":[1],"models":[2],"(LLMs)":[3],"face":[4],"challenges":[5],"in":[6],"logical":[7,81,124],"reasoning":[8,106],"where":[9,80],"correctness":[10],"requires":[11],"strict":[12],"deductive":[13],"procedures.Purely":[14],"modelbased":[15],"approaches":[16],"often":[17],"suffer":[18],"from":[19,66,108],"hallucinations,":[20],"while":[21],"neuro-symbolic":[22],"methods":[23],"typically":[24],"delegate":[25],"deduction":[26],"to":[27,33,50,86,118],"external":[28],"solvers,":[29],"reducing":[30],"the":[31,72],"LLM":[32],"a":[34,42,47,56,77],"mere":[35],"translator.To":[36],"address":[37],"this,":[38],"we":[39],"propose":[40],"MAC-Reasoner,":[41],"multi-agent":[43],"framework":[44],"that":[45],"constructs":[46],"Logic-Augmented":[48,73],"Context":[49],"enhance":[51],"LLMs'":[52],"reasoning.In":[53],"this":[54],"framework,":[55],"translator":[57],"agent":[58],"converts":[59],"problems":[60],"into":[61,71],"executable":[62],"symbolic":[63],"programs.Symbolic":[64],"information":[65],"solver":[67],"execution":[68],"is":[69],"transformed":[70],"Context,":[74],"serving":[75],"as":[76],"verification":[78],"reference":[79],"conflicts":[82],"trigger":[83],"heightened":[84],"attention":[85],"violated":[87],"constraints.We":[88],"evaluate":[89],"MAC-Reasoner":[90,109],"with":[91],"three":[92],"backbone":[93],"LLMs":[94,117],"on":[95],"four":[96],"challenging":[97],"benchmarks.Results":[98],"show":[99],"consistent":[100],"and":[101,122],"robust":[102],"improvements":[103],"over":[104],"baselines.Furthermore,":[105],"traces":[107],"can":[110],"be":[111],"used":[112],"for":[113],"supervised":[114],"finetuning":[115],"of":[116],"achieve":[119],"more":[120],"accurate":[121],"efficient":[123],"reasoning.":[125]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-07-02T00:00:00"}