Feb, 2024

离散神经算法推理

TL;DR我们提出了一种神经推理器的架构选择,强制其将执行轨迹视作有限预定义状态的组合,通过对算法状态转换进行监督训练,以实现与原始算法的完美对齐,并在 SALSA-CLRS 基准测试中获得了完美的测试分数,同时使得我们能够证明对于任何测试数据,所学算法的正确性。