实体 ZebraLogicBench

ZebraLogicBench

PulseAugur coverage of ZebraLogicBench — every cluster mentioning ZebraLogicBench across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_167226 · Jul 28 · 04:00

SymStep 通过步验证增强 LLM 逻辑推理能力

研究人员开发了 SymStep，一种提高大型语言模型 (LLM) 逻辑推理能力的新颖方法。SymStep 通过让 LLM 做出原子声明，然后由轻量级约束传播器进行验证，来解决约束密集型任务中累积错误的问题。该系统检查与先前推论的一致性，拒绝矛盾，并自动推断新事实。当与最受约束变量 (MRV) 指导结合使用时，SymStep 在 ZebraLogicBench、AR-LSAT 和 LGP-14 等基准测试中的表现显著提升，优于传统的思维…