@inproceedings{lin-etal-2026-mac,
title = "{MAC}-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models",
author = "Lin, Yehua and
Zheng, Liping and
Chen, Yin",
editor = "Liakata, Maria and
Moreira, Viviane P. and
Zhang, Jiajun and
Jurgens, David",
booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {ACL} 2026",
month = jul,
year = "2026",
address = "San Diego, California, United States",
publisher = "Association for Computational Linguistics",
url = "https://aclanthology.org/2026.findings-acl.233/",
pages = "4739--4762",
ISBN = "979-8-89176-395-1",
abstract = "Large language models (LLMs) face challenges in logical reasoning where correctness requires strict deductive procedures. Purely model-based approaches often suffer from hallucinations, while neuro-symbolic methods typically delegate deduction to external solvers, reducing the LLM to a mere translator. To address this, we propose MAC-Reasoner, a multi-agent framework that constructs a Logic-Augmented Context to enhance LLMs' reasoning. In this framework, a translator agent converts problems into executable symbolic programs. Symbolic information from solver execution is transformed into the Logic-Augmented Context, serving as a verification reference where logical conflicts trigger heightened attention to violated constraints. We evaluate MAC-Reasoner with three backbone LLMs on four challenging benchmarks. Results show consistent and robust improvements over baselines. Furthermore, reasoning traces from MAC-Reasoner can be used for supervised fine-tuning of LLMs to achieve more accurate and efficient logical reasoning."
}<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="lin-etal-2026-mac">
<titleInfo>
<title>MAC-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models</title>
</titleInfo>
<name type="personal">
<namePart type="given">Yehua</namePart>
<namePart type="family">Lin</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Liping</namePart>
<namePart type="family">Zheng</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Yin</namePart>
<namePart type="family">Chen</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2026-07</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<relatedItem type="host">
<titleInfo>
<title>Findings of the Association for Computational Linguistics: ACL 2026</title>
</titleInfo>
<name type="personal">
<namePart type="given">Maria</namePart>
<namePart type="family">Liakata</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Viviane</namePart>
<namePart type="given">P</namePart>
<namePart type="family">Moreira</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Jiajun</namePart>
<namePart type="family">Zhang</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">David</namePart>
<namePart type="family">Jurgens</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>Association for Computational Linguistics</publisher>
<place>
<placeTerm type="text">San Diego, California, United States</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
<identifier type="isbn">979-8-89176-395-1</identifier>
</relatedItem>
<abstract>Large language models (LLMs) face challenges in logical reasoning where correctness requires strict deductive procedures. Purely model-based approaches often suffer from hallucinations, while neuro-symbolic methods typically delegate deduction to external solvers, reducing the LLM to a mere translator. To address this, we propose MAC-Reasoner, a multi-agent framework that constructs a Logic-Augmented Context to enhance LLMs’ reasoning. In this framework, a translator agent converts problems into executable symbolic programs. Symbolic information from solver execution is transformed into the Logic-Augmented Context, serving as a verification reference where logical conflicts trigger heightened attention to violated constraints. We evaluate MAC-Reasoner with three backbone LLMs on four challenging benchmarks. Results show consistent and robust improvements over baselines. Furthermore, reasoning traces from MAC-Reasoner can be used for supervised fine-tuning of LLMs to achieve more accurate and efficient logical reasoning.</abstract>
<identifier type="citekey">lin-etal-2026-mac</identifier>
<location>
<url>https://aclanthology.org/2026.findings-acl.233/</url>
</location>
<part>
<date>2026-07</date>
<extent unit="page">
<start>4739</start>
<end>4762</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T MAC-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models
%A Lin, Yehua
%A Zheng, Liping
%A Chen, Yin
%Y Liakata, Maria
%Y Moreira, Viviane P.
%Y Zhang, Jiajun
%Y Jurgens, David
%S Findings of the Association for Computational Linguistics: ACL 2026
%D 2026
%8 July
%I Association for Computational Linguistics
%C San Diego, California, United States
%@ 979-8-89176-395-1
%F lin-etal-2026-mac
%X Large language models (LLMs) face challenges in logical reasoning where correctness requires strict deductive procedures. Purely model-based approaches often suffer from hallucinations, while neuro-symbolic methods typically delegate deduction to external solvers, reducing the LLM to a mere translator. To address this, we propose MAC-Reasoner, a multi-agent framework that constructs a Logic-Augmented Context to enhance LLMs’ reasoning. In this framework, a translator agent converts problems into executable symbolic programs. Symbolic information from solver execution is transformed into the Logic-Augmented Context, serving as a verification reference where logical conflicts trigger heightened attention to violated constraints. We evaluate MAC-Reasoner with three backbone LLMs on four challenging benchmarks. Results show consistent and robust improvements over baselines. Furthermore, reasoning traces from MAC-Reasoner can be used for supervised fine-tuning of LLMs to achieve more accurate and efficient logical reasoning.
%U https://aclanthology.org/2026.findings-acl.233/
%P 4739-4762
Markdown (Informal)
[MAC-Reasoner: A Multi-Agent Collaborative Framework for Enhancing Logical Reasoning in Large Language Models](https://aclanthology.org/2026.findings-acl.233/) (Lin et al., Findings 2026)
ACL