Logic Agent: Enhancing Validity with Logic Rule Invocation

arXiv:2404.18130v1 Announce Type: cross
Abstract: Chain-of-Thought (CoT) prompting has emerged as a pivotal technique for augmenting the inferential capabilities of language models during reasoning tasks. Despite its advancements, CoT often grapples with challenges in validating reasoning validity and ensuring informativeness. Addressing these limitations, this paper introduces the Logic Agent (LA), an agent-based framework aimed at enhancing the validity of reasoning processes in Large Language Models (LLMs) through strategic logic rule invocation. Unlike conventional approaches, LA transforms LLMs into logic agents …

abstract agent arxiv capabilities challenges cs.ai cs.cl language language models limitations logic paper pivotal prompting reasoning tasks thought type