Deterministic Verification of CNN Stability Via the Bivariate Z-Transform
Author: Avery Ang | Mathematical SciencesAbstract: Convolutional neural networks achieve state-of-the-art accuracy yet remain formally unverified: their learned weights are optimized by stochastic gradient descent with no guarantee of spectral integrity. For safety-critical applications such as autonomous systems, medical imaging, industrial inspection statistical accuracy alone is insufficient. This thesis advances a deterministic, per-kernel auditing framework… continue reading