实体 Liam Davis

Liam Davis

PulseAugur coverage of Liam Davis — every cluster mentioning Liam Davis 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_342138 · Nov 5 · 05:00

Lattice Deduction Transformer 高精度地近似逻辑推理

研究人员开发了一种名为 Lattice Deduction Transformer (LDT) 的新型循环 Transformer 模型，该模型可以近似逻辑推理。该模型在前向传递之间通过格（lattice）投影其潜在状态，并通过对解决方案候选者进行抽象解释进行监督来进行策略内训练。一个拥有 800K 参数的 LDT 变体在 Sudoku-Extreme 谜题上表现出色，解决了 99.999% 的谜题，并且训练 FLOPs 远少于之前的…