Timezone: »
Poster
A mathematical model for automatic differentiation in machine learning
Jérôme Bolte · Edouard Pauwels
Automatic differentiation, as implemented today, does not have a simple mathematical model adapted to the needs of modern machine learning. In this work we articulate the relationships between differentiation of programs as implemented in practice, and differentiation of nonsmooth functions. To this end we provide a simple class of functions, a nonsmooth calculus, and show how they apply to stochastic approximation methods. We also evidence the issue of artificial critical points created by algorithmic differentiation and show how usual methods avoid these points with probability one.
Author Information
Jérôme Bolte (Université Toulouse Capitole and TSE)
Edouard Pauwels (IRIT)
Related Events (a corresponding poster, oral, or spotlight)
-
2020 Spotlight: A mathematical model for automatic differentiation in machine learning »
Wed. Dec 9th 03:00 -- 03:10 PM Room Orals & Spotlights: Kernel Methods/Optimization
More from the Same Authors
-
2022 Poster: Automatic differentiation of nonsmooth iterative algorithms »
Jerome Bolte · Edouard Pauwels · Samuel Vaiter -
2021 Poster: Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification »
Tong Chen · Jean Lasserre · Victor Magron · Edouard Pauwels -
2021 Poster: Nonsmooth Implicit Differentiation for Machine-Learning and Optimization »
Jérôme Bolte · Tam Le · Edouard Pauwels · Tony Silveti-Falls -
2021 Poster: Numerical influence of ReLU’(0) on backpropagation »
David Bertoin · Jérôme Bolte · Sébastien Gerchinovitz · Edouard Pauwels -
2020 Poster: Semialgebraic Optimization for Lipschitz Constants of ReLU Networks »
Tong Chen · Jean Lasserre · Victor Magron · Edouard Pauwels -
2018 Poster: Relating Leverage Scores and Density using Regularized Christoffel Functions »
Edouard Pauwels · Francis Bach · Jean-Philippe Vert -
2016 Poster: Sorting out typicality with the inverse moment matrix SOS polynomial »
Edouard Pauwels · Jean Lasserre