May, 2023

Transformers 能否递归地学会解决问题?

TL;DR本文研究了神经网络在程序编写和形式验证方面的行为,重点关注结构递归,并评估了变压器模型在近似这些函数中的能力及其局限性,并通过重构算法正确预测了近似函数的失败案例的 91%。