Validation is a major challenge in differentiable programming. The state of the art is based on algorithmic differentiation. Consistency of first-order tangent and adjoint programs is defined by a well-known first-order differential invariant. This paper generalizes the approach through derivation of corresponding differential invariants of arbitrary order.
翻译:在不同的编程中,验证是一大挑战。 最新技术以算法区分为基础。 一阶相切和互连程序的一致性由众所周知的一阶差异变量来界定。 本文通过任意顺序的对应差异的推导来概括这一方法。