Quadratic Characterizations for Reachability Analysis of Neural Networks
DGX agentarXiv:2605.20482v1 Announce Type: new Abstract: Quadratic constraints (QCs) are widely used to characterize nonlinearities and uncertainties, but generic analytical characterizations can be conservati