Pith. sign in

REVIEW 3 cited by

Deep Learning as the Disciplined Construction of Tame Objects

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 2509.18025 v2 pith:OBLIM2QG submitted 2025-09-22 math.OC cs.AIcs.LGmath.LOstat.ML

Deep Learning as the Disciplined Construction of Tame Objects

classification math.OC cs.AIcs.LGmath.LOstat.ML
keywords tamedeepgeometrylearningsometheorybuildcompositions
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

One can see deep-learning models as compositions of functions within the so-called tame geometry. In this expository note, we give an overview of some topics at the interface of tame geometry (also known as o-minimality), optimization theory, and deep learning theory and practice. To do so, we gradually introduce the concepts and tools used to build convergence guarantees for stochastic gradient descent in a general nonsmooth nonconvex, but tame, setting. This illustrates some ways in which tame geometry is a natural mathematical framework for the study of AI systems, especially within Deep Learning.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

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

  1. Lipschitzian SLLNs for random functions

    math.OC 2026-07 accept novelty 8.0

    Empirical averages of random locally Lipschitz functions converge to their expectation in the Lipschitz pseudometric under separability or NIP-definability conditions, giving uniform convergence of subdifferentials.

  2. On convergence rates of subgradient descent on semialgebraic functions

    math.OC 2026-04 unverdicted novelty 8.0

    Under Lipschitz stratification assumptions that hold automatically for semialgebraic functions, constant-step subgradient descent achieves explicit rates that improve with fewer strata and recover smooth-case rates up...

  3. Fast approximation and learning of binary classification tasks in o-minimal structures using ReLU neural networks

    math.LO 2026-06 unverdicted novelty 7.0

    ReLU networks approximate traceable definable subsets of the unit cube in L^p with size O(ε^{-p(n-1)/m}) and yield ERM learning rates of order N^{-m/(m+pn-p)} for hinge loss under uniform component bounds.