Deep Equilibrium Networks

新框架为深度均衡网络提供可认证训练

研究人员为深度均衡网络（DEQs）开发了一个新框架，该框架为推理和训练提供了可认证的保证。该框架使用连续性方法来实现多项式复杂度，确保高达 $2^{-b}$ 的精度。对于推理，它采用了紧凑输入同伦和带有可认证边界的四舍五入牛顿跟踪器。训练通过局部加低秩递归和可编程休眠通道得到增强，并利用加载的Tikhonov诊断和修复插值失败。该系统使用Lean 4编程语言进行了验证，数值比较证明了其有效性。