为什么重要
ZebraLogic 基于 Einstein’s Zebra Puzzle 的逻辑推理题——需要在多个约束条件下做排除法推理。
构建方式与示例
例如:“5 个人住不同颜色的房子、喝不同饮料、养不同宠物。已知:英国人住红房子、瑞典人养狗…”→推理谁养鱼?
关联基准与展望
关联:BBH、SimpleBench。不足:题目模式较单一。
来自经典 Zebra Puzzle 的逻辑推理问题,测试约束满足和排除法推理能力
ZebraLogic 基于 Einstein’s Zebra Puzzle 的逻辑推理题——需要在多个约束条件下做排除法推理。
例如:“5 个人住不同颜色的房子、喝不同饮料、养不同宠物。已知:英国人住红房子、瑞典人养狗…”→推理谁养鱼?
关联:BBH、SimpleBench。不足:题目模式较单一。