Key points are not available for this paper at this time.
Les travaux théoriques récents sur la différentiation automatique (autodiff) se sont concentrés sur des caractéristiques telles que la correction et l'efficacité, en supposant que toutes les dérivées sont automatiquement générées par autodiff à l'aide de transformations de programme, à l'exception d'un ensemble fixe de dérivées pour les opérations primitives. Cependant, en pratique, cette hypothèse est insuffisante : le programmeur doit souvent fournir des dérivées personnalisées pour des fonctions composites afin d'atteindre une efficacité et une stabilité numérique. Dans ce travail, nous partons du calcul lambda non typé avec un opérateur d'autodiff en mode inverse, l'étendons avec un opérateur pour attacher des dérivées manuelles, et démontrons son utilité à travers plusieurs exemples.
Sam Estep (mercredi) a étudié cette question.