研究者提出格演绎Transformer LDT

Liam Davis等作者提出格演绎Transformer（LDT），这是一种循环Transformer，在每次前向传播之间将隐状态投影到格上，以近似逻辑严密的演绎推理。作者称，一个80万参数的LDT模型在Sudoku-Extreme上达到99.999%的准确率。 该结果来自作者自述，尚未见独立验证；其适用对象是这一特定规模的模型和Sudoku-Extreme这一任务，不能推广为LDT在其他推理任务上同样有效。

AI 根据报道生成 · 50 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。