Towards a regularity theory for ReLU networks (construction of approximating networks, ReLU derivative at zero, theory)
-
Updated
Oct 15, 2019 - Jupyter Notebook
#
regularity-theory
Here are 3 public repositories matching this topic...
Not a Clay solution. Spectral-front identities for periodic Navier-Stokes: a bandwidth-dissipation dichotomy, an exact action representation, and an obstruction to uniform pointwise Osgood closure. Exact-rational certificates; AI-agent review, not human peer review.
reproducible-research mathematical-analysis partial-differential-equations navier-stokes formal-verification fluid-dynamics regularity-theory computer-assisted-proofs lean4 exact-arithmetic
-
Updated
Aug 10, 2026 - Python
Lean 4 + mathlib formalization of the SQG shear-vorticity identity (D14 Theorem 1)
theorem-proving partial-differential-equations formalization fluid-dynamics mathematical-physics mathlib harmonic-analysis regularity-theory sqg lean4 quasi-geostrophic sobolev-spaces
-
Updated
Jul 5, 2026 - Lean
Improve this page
Add a description, image, and links to the regularity-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the regularity-theory topic, visit your repo's landing page and select "manage topics."