Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
arXiv:2605.10474v1 Announce Type: cross
Abstract: Analog neural networks are gaining attention due to their efficiency in terms of power consumption and processing speed. However, since analog neural networks are implemented as physical circuits, they…