SATBench:通过从SAT公式自动生成难题来评估大型语言模型的逻辑推理能力

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究提出了SATBench基准,以评估大型语言模型的逻辑推理能力,填补了推理规则研究的空白。通过自动生成难题,发现现有模型在复杂UNSAT问题上的最高准确率仅为65%。

🏷️

标签

➡️

继续阅读