NormWorlds-CF

新的基准NormWorlds-CF增强了AI模型的反事实推理能力

研究人员推出NormWorlds-CF，这是一个专为可执行规则世界中的反事实规范推理设计的新型环境，并由确定性求解器进行验证。该系统提供详细的输出，如最终答案、证明证书和论证状态，从而无需依赖LLM裁判即可进行稳健评估。该基准包括分阶段的SFT诊断和配对世界任务，其中开发了一种名为变质关系GRPO（MR-GRPO）的新奖励机制，通过为关系族和求解器可见的变更字段提供部分信用，以提高在结构化变更任务上的性能。