CauseJudger：利用大语言模型识别推论逻辑中的因果关系

BriefGPT - AI 论文速递 · 2024-09-09T00:00:00Z

LogicAsker是一种自动方法，用于评估和改进基于命题和谓词逻辑的大型语言模型的逻辑推理能力。通过在多个大型语言模型上进行测试，发现LogicAsker的测试用例可以有效提高逻辑推理能力，如GPT-4提高了10%。这是首次基于测试结果创建提示来提高语言模型的形式推理能力。