program induction

路径签名增强了程序归纳能力，优于传统模型

研究人员开发了一种使用路径签名进行程序归纳的新方法，这是一种源自随机分析的技术。该方法将执行跟踪视为高维粗糙路径，并使用路径签名变换对其进行编码。在Karel、List和RASP域上的实验表明，这种对数签名跟踪编码器在训练数据有限的情况下，性能优于LSTM、Transformer和Fourier基线。该方法还展示了一个收缩管道，可以在没有外部预言机的情况下识别监督数据中的冗余，从而产生更具可解释性的潜在几何结构。