LINC: 将语言模型与一阶逻辑证明器相结合的神经符号化逻辑推理方法

该论文提出了一种新的提示方法Inferential Exclusion Prompting（IEP），可以更好地模拟人类的复杂思维过程，与其他基于Chain-of-Thought（CoT）的方法相比，在各种任务中持续表现出色。将IEP和CoT结合起来可以进一步提高LLMs在某些任务上的性能。此外，该论文还介绍了Mental-Ability Reasoning Benchmark（MARB）作为评估人类逻辑推理能力的新方法。