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 are highly sensitive to manufacturing process...