A mathematical model for automatic differentiation in machine learning
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 44 papers in the map (data through 7 Oct 2026). First posted on arXiv 3 Jun 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 8; 2022: 9; 2023: 10; 2024: 7; 2025: 4; 2026: 6.
44 papers.
Sort:
- 2021Nonsmooth Implicit Differentiation for Machine Learning and Optimizationcited by 43
- 2022Training invariances and the low-rank phenomenon: beyond linear networkscited by 33
- 2021A General Descent Aggregation Framework for Gradient-based Bi-level Optimizationcited by 28
- 2022Automatic differentiation of nonsmooth iterative algorithmscited by 25
- 2021Implicit differentiation for fast hyperparameter selection in non-smooth convex learningcited by 22
- 2022Flexible Differentiable Optimization via Model Transformationscited by 16
- 2023Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networkscited by 12
- 2023The Feature Speed Formula: a flexible approach to scale hyper-parameters of deep neural networkscited by 11
- 2022Lifted Bregman Training of Neural Networkscited by 10
- 2021Stochastic Subgradient Descent Escapes Active Strict Saddles on Weakly Convex Functionscited by 9
- 2025Non-convergence to the optimal risk for Adam and stochastic gradient descent optimization in the training of deep neural networkscited by 6
- 2021A Gradient Sampling Algorithm for Stratified Maps with Applications to Topological Data Analysiscited by 5
32 more
- 2022Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problemscited by 5
- 2023Adam-family Methods with Decoupled Weight Decay in Deep Learningcited by 5
- 2024Poor Man's Training on MCUs: A Memory-Efficient Quantized Back-Propagation-Free Approachcited by 5
- 2021The structure of conservative gradient fieldscited by 4
- 2022On the complexity of nonsmooth automatic differentiationcited by 4
- 2022Fixed-Point Automatic Differentiation of Forward--Backward Splitting Algorithms for Partly Smooth Functionscited by 4
- 2021Second-order step-size tuning of SGD for non-convex optimizationcited by 3
- 2023On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameterscited by 3
- 2023Generalizing Adam to Manifolds for Efficiently Training Transformerscited by 3
- 2023Stochastic Subgradient Methods with Guaranteed Global Stability in Nonsmooth Nonconvex Optimizationcited by 3
- 2024Nonsmooth Implicit Differentiation: Deterministic and Stochastic Convergence Ratescited by 2
- 2024Developing Lagrangian-based Methods for Nonsmooth Nonconvex Optimizationcited by 2
- 2025Understanding Nonlinear Implicit Bias via Region Counts in Input Spacecited by 2
- 2025Deep Learning as the Disciplined Construction of Tame Objectscited by 2
- 2022Path differentiability of ODE flowscited by 1
- 2022Perturbed Iterate SGD for Lipschitz Continuous Loss Functions with Numerical Error and Adaptive Step Sizescited by 1
- 2023ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programscited by 1
- 2023Understanding Automatic Differentiation Pitfallscited by 1
- 2023Auto-Differentiation of Relational Computations for Very Large Scale Machine Learningcited by 1
- 2023Piecewise Polynomial Regression of Tame Functions via Integer Programmingcited by 1
- 2024Convergence of Decentralized Stochastic Subgradient-based Methods for Nonsmooth Nonconvex functionscited by 1
- 2024Automatic Differentiation of Optimization Algorithms with Time-Varying Updatescited by 1
- 2024Hamiltonian Monte Carlo on ReLU Neural Networks is Inefficientcited by 1
- 2025Stochastic Sample Approximations of (Local) Moduli of Continuitycited by 1
- 2026The Normalized Maximum Likelihood for Regular Non-Smooth Models: Measure-Theoretic Foundations and Geometric Samplingcited by 1
- 2026A Blueprint for Equilibrium-Based Differentiable Continuous-Variable Thermodynamic Computingcited by 1
- 2021Numerical influence of ReLU'(0) on backpropagationcited by 0
- 2024On the numerical reliability of nonsmooth autodiff: a MaxPool case studycited by 0
- 2026partialCBDs: Differentiable Causal Block Diagramscited by 0
- 2026Dual Certified White-Box Inference for Input Convex Neural Networkscited by 0
- 2026Decentralized Stochastic Subgradient-type Methods with Communication Compression for Nonsmooth Nonconvex Optimizationcited by 0
- 2026Same Loss, Different Gradientscited by 0
- 2026Same Loss, Different Gradients30 Sep 2026
- 2026A Blueprint for Equilibrium-Based Differentiable Continuous-Variable Thermodynamic Computing17 Jul 2026
- 2026Decentralized Stochastic Subgradient-type Methods with Communication Compression for Nonsmooth Nonconvex Optimization2 Jul 2026
- 2026The Normalized Maximum Likelihood for Regular Non-Smooth Models: Measure-Theoretic Foundations and Geometric Sampling23 May 2026
- 2026Dual Certified White-Box Inference for Input Convex Neural Networks6 May 2026
- 2026partialCBDs: Differentiable Causal Block Diagrams7 Feb 2026
- 2025Deep Learning as the Disciplined Construction of Tame Objects22 Sep 2025
- 2025Stochastic Sample Approximations of (Local) Moduli of Continuity18 Sep 2025
- 2025Understanding Nonlinear Implicit Bias via Region Counts in Input Space16 May 2025
- 2025Non-convergence to the optimal risk for Adam and stochastic gradient descent optimization in the training of deep neural networks3 Mar 2025
- 2024Poor Man's Training on MCUs: A Memory-Efficient Quantized Back-Propagation-Free Approach7 Nov 2024
- 2024Hamiltonian Monte Carlo on ReLU Neural Networks is Inefficient29 Oct 2024
32 more
- 2024Automatic Differentiation of Optimization Algorithms with Time-Varying Updates21 Oct 2024
- 2024Developing Lagrangian-based Methods for Nonsmooth Nonconvex Optimization15 Apr 2024
- 2024Nonsmooth Implicit Differentiation: Deterministic and Stochastic Convergence Rates18 Mar 2024
- 2024Convergence of Decentralized Stochastic Subgradient-based Methods for Nonsmooth Nonconvex functions18 Mar 2024
- 2024On the numerical reliability of nonsmooth autodiff: a MaxPool case study5 Jan 2024
- 2023The Feature Speed Formula: a flexible approach to scale hyper-parameters of deep neural networks30 Nov 2023
- 2023Piecewise Polynomial Regression of Tame Functions via Integer Programming22 Nov 2023
- 2023Adam-family Methods with Decoupled Weight Decay in Deep Learning13 Oct 2023
- 2023Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networks18 Aug 2023
- 2023Stochastic Subgradient Methods with Guaranteed Global Stability in Nonsmooth Nonconvex Optimization19 Jul 2023
- 2023Auto-Differentiation of Relational Computations for Very Large Scale Machine Learning31 May 2023
- 2023Generalizing Adam to Manifolds for Efficiently Training Transformers26 May 2023
- 2023Understanding Automatic Differentiation Pitfalls12 May 2023
- 2023ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs21 Feb 2023
- 2023On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters31 Jan 2023
- 2022Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problems15 Dec 2022
- 2022Perturbed Iterate SGD for Lipschitz Continuous Loss Functions with Numerical Error and Adaptive Step Sizes9 Nov 2022
- 2022Lifted Bregman Training of Neural Networks18 Aug 2022
- 2022Fixed-Point Automatic Differentiation of Forward--Backward Splitting Algorithms for Partly Smooth Functions5 Aug 2022
- 2022Flexible Differentiable Optimization via Model Transformations10 Jun 2022
- 2022On the complexity of nonsmooth automatic differentiation1 Jun 2022
- 2022Automatic differentiation of nonsmooth iterative algorithms31 May 2022
- 2022Training invariances and the low-rank phenomenon: beyond linear networks28 Jan 2022
- 2022Path differentiability of ODE flows11 Jan 2022
- 2021A Gradient Sampling Algorithm for Stratified Maps with Applications to Topological Data Analysis1 Sep 2021
- 2021Stochastic Subgradient Descent Escapes Active Strict Saddles on Weakly Convex Functions4 Aug 2021
- 2021Numerical influence of ReLU'(0) on backpropagation23 Jun 2021
- 2021Nonsmooth Implicit Differentiation for Machine Learning and Optimization8 Jun 2021
- 2021Implicit differentiation for fast hyperparameter selection in non-smooth convex learning4 May 2021
- 2021Second-order step-size tuning of SGD for non-convex optimization5 Mar 2021
- 2021A General Descent Aggregation Framework for Gradient-based Bi-level Optimization16 Feb 2021
- 2021The structure of conservative gradient fields3 Jan 2021
- 2021Nonsmooth Implicit Differentiation for Machine Learning and Optimizationcited by 43
- 2022Training invariances and the low-rank phenomenon: beyond linear networkscited by 33
- 2021A General Descent Aggregation Framework for Gradient-based Bi-level Optimizationcited by 28
- 2022Automatic differentiation of nonsmooth iterative algorithmscited by 25
- 2021Implicit differentiation for fast hyperparameter selection in non-smooth convex learningcited by 22
- 2022Flexible Differentiable Optimization via Model Transformationscited by 16
- 2023Tensor-Compressed Back-Propagation-Free Training for (Physics-Informed) Neural Networkscited by 12
- 2023The Feature Speed Formula: a flexible approach to scale hyper-parameters of deep neural networkscited by 11
- 2022Lifted Bregman Training of Neural Networkscited by 10
- 2021Stochastic Subgradient Descent Escapes Active Strict Saddles on Weakly Convex Functionscited by 9
- 2025Non-convergence to the optimal risk for Adam and stochastic gradient descent optimization in the training of deep neural networkscited by 6
- 2021A Gradient Sampling Algorithm for Stratified Maps with Applications to Topological Data Analysiscited by 5
12 most cited of 44 All 44 (JSON)
- 2026Same Loss, Different Gradients30 Sep 2026
- 2026A Blueprint for Equilibrium-Based Differentiable Continuous-Variable Thermodynamic Computing17 Jul 2026
- 2026Decentralized Stochastic Subgradient-type Methods with Communication Compression for Nonsmooth Nonconvex Optimization2 Jul 2026
- 2026The Normalized Maximum Likelihood for Regular Non-Smooth Models: Measure-Theoretic Foundations and Geometric Sampling23 May 2026
- 2026Dual Certified White-Box Inference for Input Convex Neural Networks6 May 2026
- 2026partialCBDs: Differentiable Causal Block Diagrams7 Feb 2026
- 2025Deep Learning as the Disciplined Construction of Tame Objects22 Sep 2025
- 2025Stochastic Sample Approximations of (Local) Moduli of Continuity18 Sep 2025
- 2025Understanding Nonlinear Implicit Bias via Region Counts in Input Space16 May 2025
- 2025Non-convergence to the optimal risk for Adam and stochastic gradient descent optimization in the training of deep neural networks3 Mar 2025
- 2024Poor Man's Training on MCUs: A Memory-Efficient Quantized Back-Propagation-Free Approach7 Nov 2024
- 2024Hamiltonian Monte Carlo on ReLU Neural Networks is Inefficient29 Oct 2024
12 newest of 44 All 44 (JSON)