INDUCTION：一阶逻辑中的有限结构概念综合

我们提出INDUCTION，一个面向一阶逻辑有限结构概念综合的基准。给定带有外延标注目标谓词的小型有限关系世界，模型须输出单一一阶逻辑公式，在所有世界上一致解释目标，正确性经精确模型检验验证。基准含FullObs、CI（对比式）与EC（存在完备化）三种情形，并对公式臃肿施加惩罚。我们发现陡峭的难度梯度与持续困难的结构族，并观察到低臃肿公式在留出世界上泛化好得多。近期精英模型在各任务与各性能指标上表现出质的不同行为，暗示其概念泛化策略各异。