abduction

介绍了DeFAb，一个针对基础模型中可废止溯因的可验证基准，包含超过37.2万个实例，并揭示了当前前沿模型在这种逻辑推理形式上表现不佳，在稳健评估下准确率低至23.5%。