察元AI教程库 · 文章 · 排行榜

大型语言模型的逻辑能力：使用任意复杂度的一阶逻辑问题进行评估

我们提出了一种生成一阶逻辑语句的方法，其复杂度可沿多个维度进行控制。我们使用该方法自动创建了多个包含关于一阶逻辑语句真假的提问的语料库，这些语料库基于策梅洛-弗伦歇尔集合论

作者:Shokhrukh Ibragimov, Arnulf Jentzen, Benno Kuckuck · 语言:en

简介