在这项工作中，我们提出了一种一阶逻辑（FOL）推理的诊断方法一个新的基准，LogicNLI。 LogicNLI是一个NLI风格的数据集，可以有效地从常识性内容中分解FOL推理目标，并且可以从四个角度诊断语言模型：准确性， 健壮性、通用性和可追溯性
去重复或者改进我们 论文 点击导航栏datasetlink . 欢迎使用我们的数据集和引用我们的工作.