Pith. sign in

REVIEW 1 cited by

A mathematical model for automatic differentiation in machine learning

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2006.02080 v2 pith:OSQRYBVX submitted 2020-06-03 cs.LG math.OCstat.ML

classification cs.LGmath.OCstat.ML
keywords differentiationautomaticfunctionsimplementedlearningmachinemathematicalmethods
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Mathematical analysis of the gradients in deep learning

    cs.LG 2025-01 accept novelty 6.0 of 10

    For deep feedforward networks with piecewise-smooth activations, the autodiff gradient is shown to be the unique limit of gradients of smoothed activations, a limiting Frechet subgradient, and equal to the true gradie...

Pith tools