LINC: 将语言模型与一阶逻辑证明器相结合的神经符号化逻辑推理方法
原文约400字，阅读约需1分钟。发表于：。通过使用神经符号计算来全面利用 LLMs 和符号化证明器，本文探索了以逻辑推理任务，特别是符合自然语言的任务为基础的解决方案。
该论文提出了一种新的提示方法Inferential Exclusion Prompting（IEP），可以更好地模拟人类的复杂思维过程，与其他基于Chain-of-Thought（CoT）的方法相比，在各种任务中持续表现出色。将IEP和CoT结合起来可以进一步提高LLMs在某些任务上的性能。此外，该论文还介绍了Mental-Ability Reasoning Benchmark（MARB）作为评估人类逻辑推理能力的新方法。
