Certified and accurate computation of function space norms of deep neural networks
This paper presents a framework for the certified and accurate computation of deep neural network function space norms (including , , and ) by combining interval arithmetic, adaptive refinement, and quadrature to derive guaranteed global bounds from local certificates, thereby enabling reliable error control for PDE applications like PINNs.